1 votes 1 votes Represent these two statement in first order logic: $A)$ Only Alligators eat humans $B)$ Every Alligator eats humans Is Every represents $\equiv \exists$ and Only represents $\equiv \forall$ ?? Can we differentiate it with verb ‘eat’ and ‘eats’?? Mathematical Logic discrete-mathematics mathematical-logic first-order-logic + – srestha asked May 18, 2019 srestha 548 views answer comment Share Follow See all 5 Comments See all 5 5 Comments reply Show 2 previous comments srestha commented May 18, 2019 reply Follow Share There Only means " Only one" Every means "All" But, predicate logic not supports it 0 votes 0 votes srestha commented May 18, 2019 reply Follow Share What is meaning of Everyone in english translation Is it not mean All ?? But in predicate logic it means each one and that represents by there exists$\left ( \exists \right )$ i.e. representation of "some" but not "all' right?? 0 votes 0 votes srestha commented May 18, 2019 reply Follow Share https://math.stackexchange.com/questions/3230444/difference-between-only-and-every-keyword-in-mathematical-logic?noredirect=1#comment6646025_3230444 4 votes 4 votes Please log in or register to add a comment.
