Predicate logic examples

[@georgeseese]

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?

[@bhargavkongara2003]

Thank you mam😊😊😊

[@jameal1056]

You are simply the best

[@sanas.193]

Thank you.... ❤

[@vanessameow1902]

Thanku maam this was easy to follow and educational☄👍

[@jameal1056]

So true

[@amolkathale3108]

Hello Ma'am, can you explain how to convert in predicate logic