22/06/04 00:30:17.36 qN44g2AO.net
Ｐ→Ｑ∧Ｑ→Ｒ ￢Ｒ→￢Ｐ∧￢Ｑ ((P → R) ∧ (Q → R)) → (﹁R →﹁ P ∧﹁ Q)
１ １ １
０ ０ １
０ ０ １
０ ０ １
１ １ １
０ １ １
１ １ １
１ １ １
22/06/04 00:30:17.36 qN44g2AO.net
Ｐ→Ｑ∧Ｑ→Ｒ ￢Ｒ→￢Ｐ∧￢Ｑ ((P → R) ∧ (Q → R)) → (﹁R →﹁ P ∧﹁ Q)
１ １ １
０ ０ １
０ ０ １
０ ０ １
１ １ １
０ １ １
１ １ １
１ １ １