Note: This information page, though similar to what it will include in the end, is not yet finalized. When this page is finalized, this note will disappear.
Test 2 may include the following:
- Offer the definition of “logically valid.”
- Answer true-false questions using the terms/concepts from the vocabulary list, very similar to the true-false exercises you’ve done previously.
- Given a logically valid argument expressed in English, construct a symbolization key for the atomic sentences and/or names and predicates within them, in a way that’s adequate to bring out the logical validity of the argument.
- Using a symbolization key, symbolize English sentences in TFL (truth-functional/sentential logic) and FOL (first-order/predicate logic).
- Using a symbolization key, translate symbolized TFL and FOL sentences into English.
- Construct truth tables for symbolized TFL sentences to show, variously:
- whether a sentence is a tautology, a contradiction, or contingent;
- whether a set of sentences is jointly possible/consistent or not;
- whether an argument is logically valid or not.
- For a constructed truth table, write a sentence saying why/how it shows any of the properties mentioned immediately above.
- Use the basic and derived natural deduction rules of TFL to prove that a given argument of TFL is valid.
- Symbolize an English argument in First-order Logic (FOL).
- Use the basic and rules of natural deduction for FOL to prove that a given argument of FOL is valid.