For the expression ~(A & B), B ∴ ~A, I came up with the following truth table, where a ‘+’ indicates a column of truth values for a premise:
The solution in the book, however lists the conclusion in the fourth row is true rather than false:
Have I made a mistake or is this an error?
For the expression ~(A & B), B ∴ ~A, I came up with the following truth table, where a ‘+’ indicates a column of truth values for a premise:
The solution in the book, however lists the conclusion in the fourth row is true rather than false:
Have I made a mistake or is this an error?