Additional Exercises -- Problem Set Six.

For arguments 3-20 below, construct proofs using all replacement and inference rules, and conditional proof.


For the arguments in 1-20 below, construct a proof using rules of inference, replacement rules, and conditional or indirect proof.



For the tautologous statements in 1-20, prove that they are tautologies.





For 8-20, use any methods.