P -> Q is is equivalent to ~(Q) -> ~(P)P Q (P->Q) ~P ~Q (~Q->~P)T T T F F TT F F F T FF T T T F TF F T T T T
That didn't line up well. I don't know what the command is for a tab. But, the 3rd and 6th columns are the same, so equivalence exists.
P -> Q is is equivalent to ~(Q) -> ~(P)
ReplyDeleteP Q (P->Q) ~P ~Q (~Q->~P)
T T T F F T
T F F F T F
F T T T F T
F F T T T T
That didn't line up well. I don't know what the command is for a tab. But, the 3rd and 6th columns are the same, so equivalence exists.
ReplyDelete