Handouts

• applying truth tables.pdf
• inference rules quantifiers.pdf
• inference rules sentential logic.pdf
• provisos for quantifier inference rules.pdf
• syntaxTrees.pdf
• wff.pdf