The Student Room Group
Competition - post a photo you've taken of nature >>
Competition - post a photo you've taken of nature >>
Competition - post a photo you've taken of nature >>

Formulas equivalent to P ^ Q that don't involve '^' ??

Not sure if this is the suitable forum but are the following formulas equivalent to P^Q ? :

P > Q
P <--> Q

I'm a philosophy student, new to Logic and am still a beginner at this.
How can it be equivalent without an implication, the statement in the title is simply " P and Q", but it doesn't say anything about P or Q or P and Q.
P  ⟺  QP \iff Q isn't equivalent to P∧QP \land Q - if PP, QQ are false then P∧QP \land Q is false but P  ⟺  QP \iff Q is true. Assuming the former is P  ⟹  QP \implies Q, then you can use a similar example for that too.
Reply 3
Avatar for bloomer36
bloomer36
OP
18
Original post by _gcx
P  ⟺  QP \iff Q isn't equivalent to P∧QP \land Q - if PP, QQ are false then P∧QP \land Q is false but P  ⟺  QP \iff Q is true. Assuming the former is P  ⟹  QP \implies Q, then you can use a similar example for that too.

I'm very confused :colondollar:

Quick Reply

Related discussions

Latest

Trending

Trending

Articles for you