First Order Logic

Question

Comments

@santhoshdevulapally

In above statement if everyone is not a politician then B converts to false→∃xQ(x) which is true but above statement yields false.

How is it right??

---

instead of taking statement derive using predicates.

otherwise take p(1)= F and p(2)=T. & Q(1)=T and Q(2)=F.

$\forall xP(x)=p(1)\wedge p(2)

   \exists xP(x)=p(1)\vee p(2)$.

apply for p->q and q->p then u get p=q.

---

https://gateoverflow.in/103060/logic