1.    a and d

2.    a and d

3.    a, d, f and g

4.    a and c

5.    a and i

6.    a, d, and h

7.    a and i

8.    a and i

9.    a and i

10.    a, d and f   NOTE  this WFF is not an instance of h because of the negation of the antecedent in 10.  There is no way to map Q and R onto p and q so as to get ~(Q R)  from (p q).

11.    a and i

12.  a and i!  Note, this WFF is not an instance of j because j is the negation of a conjunction but 12 is a conjunction with a negation as a conjunct.

13.    a, b and e

14.    a, b and e

Return to Tutorials Index        Return to Statement Forms and Substitution Instances