Thanks for your examples. I'm confused about the computability of this; certainly you're not suggesting manual processing on paper? What software is there in which these can be attempted? I've learned a little of Prolog that does predicate logic. It allows uppercase starting letters only for variables. So the example Man(Mihir) @3:38 is entered man(mihir). I'm not sure Prolog accepts other operators like or, not, gt etc.. And how can the quantifier symbols (upside down A and backwards E) be enterd on a keyboard? If this is to processed in a computer, do I have to make my own symbols?
Thank you mam ❤, you have covered all possible examples.
Thanks for your examples. I'm confused about the computability of this; certainly you're not suggesting manual processing on paper? What software is there in which these can be attempted? I've learned a little of Prolog that does predicate logic. It allows uppercase starting letters only for variables. So the example Man(Mihir) @3:38 is entered man(mihir). I'm not sure Prolog accepts other operators like or, not, gt etc.. And how can the quantifier symbols (upside down A and backwards E) be enterd on a keyboard? If this is to processed in a computer, do I have to make my own symbols?
Thank you mam😊😊😊
Thanku maam this was easy to follow and educational☄👍
So true
You are simply the best
Hello Ma'am, can you explain how to convert in predicate logic
Thank you.... ❤