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.