Level 6.1.2: The Basics

 

 

Tips For The Quiz

 

(1) Make sure to use the correct logical operator symbols: these can be copied and pasted from within each question.

 

(2) Be sure to use the correct spacing: One space between a WFF and a binary operator, but no space between a WFF and a negation sign or a WFF and a bracket/parenthesis.

 

(3) Be sure to present the information in the righthand column in the right format: Abbreviation of the inference pattern name first, forward slash “/” and then the numbers of the steps from which the inference is derived separated by commas (no spaces).