Using the reverse method-step 1

...testing for validity with the reverse method (1)

P Q || P Q C | P | Q.................P Q || P Q C | Q | P
..................1....1...0.................................. 1...1...0

First we set up what each string must look like in the bad line for an invalid argument. The premises are true and the conclusion is false. Now go on.

Go back to the starting page.