1 votes 1 votes How to write:- "There are at most two apples" I think it should be:- ∀x { A(x) -> ∀y {A(y) -> (x=y) V [ ∀z [A(z) -> ((z=y) V (z=x))]]}} is it correct or not? Mathematical Logic engineering-mathematics discrete-mathematics propositional-logic + – Shubhanshu asked Jul 21, 2017 • retagged Jul 10, 2019 by Cristine Shubhanshu 409 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.