PHILOS 31 Study Guide - Final Guide: Cooper T81
Document Summary
Bex (t81): (p q) (p q) ^ (q p) Invalid if there is a row where all premises are true and the conclusion false. Invalid if there is a row where the conclusion is false. Tautology if they come out true in all rows of the truth table. N{1}: pugnacious: only those pirates who have problems pillage and plunder x(fx ((jx^ix) kx)) Only those that are pugnacious; only parrots that are pirates are pugnacious. If they can vote, they must be a citizen. As long as every variable is bound, it doesn"t matter what variable you use xfx. x(fx gx). x~gx. x(gx fx) There can be all true premises and a false conclusion. Can construct a truth table where all premises are true and conclusion false. If don"t want to construct a full truth table, show the premises to be true and the conclusion false; work truth table backwards. Srl001: xfx. x(fx gx). x~gx. x(gx fx)
