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.