Hello all. I am trying to prove

(P↔Q) → (Q ↔R)

and

Q → (昱 → 星)

are logically equivalent, by way of proof. Rules are DeMorgan's Laws may not be used. Any help is appreciated. Thanks.

Printable View

- December 23rd 2010, 03:53 PMcdoilp and q logic proof
Hello all. I am trying to prove

(P↔Q) → (Q ↔R)

and

Q → (昱 → 星)

are logically equivalent, by way of proof. Rules are DeMorgan's Laws may not be used. Any help is appreciated. Thanks. - December 23rd 2010, 04:09 PMdwsmith
Using a truth table.

- December 24th 2010, 02:57 AMemakarovQuote:

(P↔Q) → (Q ↔R)

and

Q → (昱 → 星)

- December 24th 2010, 03:59 AMalexandros