| Takes In | Outputs | |
|---|---|---|
| Logical Connective | Propositions and/or Predicates | Truth Value |
| Predicate | Terms | Truth Value |
| Proposition | N/A | Truth Value |
| Function | Terms | Terms |
| Constant | N/A | Term |
| http://intrologic.stanford.edu/homepage/index.html |
Week 1
- Finite State Automaton
- Logical Encoding
- Propositional Logic
- Well-Formed Formula
- Formula Parsing
- Truth Function
- Valuation
- Modus Ponens
Optional, but interesting:
Week 2
- Model
- Semantic Consequence
- Validity
- Satisfiability
- Substitution
- Resolution (Propositional Logic)
- Negative Normal Form
- Conjunctive Normal Form
- Naïve Satisfiability Algorithm
Week 3
Week 4
- Universe
- Interpretation
- Model
- Variable Assignment
- Truth Value
- Quantifier Equivalences
- Conventions in Predicate Logic
- Skolemization
- CNF (Predicate Logic)