These are technical words for the course. Generally, you can find these words in the forall x book highlighted in pink small-caps. Also, that textbook includes a Glossary (page 421 in the Fall 2023 edition) for many of these.
- argument
- sentence
- true
- false
- truth value
- (logical) consequence
- (logical) validity
- (logical) invalidity
- (logical) soundness
- (logical) unsoundness
- inductive arguments
- deductive arguments
- case
- joint possibility (jointly possible)
- joint impossibility (jointly impossible)
- contingency (contingent)
- necessary truth
- necessary falsehood
- necessary equivalence
- truth-functional logic
- truth-functional connectives
- symbolization key
- atomic sentence
- expression of TFL
- sentence of TFL
- negation
- conjunction
- disjunction
- conditional
- biconditional
- conjunct
- disjunct
- antecedent
- consequent
- inclusive or
- exclusive or
- main logical operator
- scope (of a connective)
- use
- mention
- metavariable
- characteristic truth table
- natural deduction
- formal proof
- inference rules of TFL
- modus ponens
- affirming the consequent
- subproof
- additional assumption
- scope line
- discharging an assumption
- reductio ad absurdum
- indirect proof
- explosion
- derived rules
- disjunctive syllogism
- modus tollens
- First-order Logic (FOL)
- name
- singular term
- term
- predicate
- quantifier
- variable
- universal quantifier
- existential quantifier
- domain
- scope (of a quantifier)
(The parentheses indicate that we often use the word or phrase without the part in parentheses. Like, we often just say an argument is “valid.”)