Formation rules Induction on formula complexity Semantic methods: Truth tables, partial truth tables, trees Reading: Lemmon pp 41-49, 64-74 Validity in virtue of quantifier structure Elementary ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback