Okay, for my first question, I dont understand how the following statement is equal to the other:

the statement : (P-->Q)---> ~(~Q-->P)

is equal to: (P^Q) v (~Q ^~P)

How?

Printable View

- October 8th 2008, 10:08 AMdoublecheckmyanswerspleasCan you assist me with a few logic questions?
Okay, for my first question, I dont understand how the following statement is equal to the other:

the statement : (P-->Q)---> ~(~Q-->P)

is equal to: (P^Q) v (~Q ^~P)

How? - October 8th 2008, 10:59 AMSoroban
Hello, doublecheckmyanswerspleas!

I suspect there's a typo . . .

Quote:

I dont understand how the following statement is equal to the other:

The statement: .

is equal to: .

. . I call it ADI (alternate definition of implication).