3 Use the short truth table method to determine the validity or invalidity of all the argument forms above, as well as the following, which contain more variables. (Here premises and conclusion are listed horizontally.)
a. «p v q) ⊃ J r), «r v s) ⊃ J ~ t) / ... (p ⊃J ~ t)
c. (p. q) ⊃ J (r⊃ J (s v t)), s == (p. t), ~ t == (q v ~ r) / .'. r⊃J (s v ~ p)
To evaluate authenticity, go over each row of the truth-table and look for a row where ALL of the antecedents are true but the result is untrue. Otherwise, the reasoning is sound. The response is invalid if there are one or several entries.
Comments
Leave a comment