# Week 1
| Definitions | Theorems | Examples |
| ---------------------------- | -------- | -------- |
| [[Logically Valid Argument]] | | |
| [[Counterexample]]. | | |
# Week 2
| Definitions | Theorems | Examples |
| -------------------------------- | -------- | -------- |
| [[Truth Functional Connective]]. | | |
| L1 Connectives: [[L1 (FOL)]]. | | |
| Sentence Letters | | |
| [[Truth Table]]. | | |
# Week 3
| Definitions | Theorems | Examples |
| -------------------------- | -------- | -------- |
| [[Logical Truth]]. | | |
| [[Logical Contradiction]]. | | |
| [[Logical Possibility]]. | | |
# Week 4
| Definitions | Theorems | Examples |
| ----------- | -------- | -------- |
| | | |
# Week 5
| Definitions | Theorems | Examples |
| ----------- | -------- | -------- |
| | | |
# Week 7
| Definitions | Theorems | Examples |
| ----------- | -------- | -------- |
| | | |
# Week 8
| Definitions | Theorems | Examples |
| ----------- | -------- | -------- |
| | | |
# Week 9
| Definitions | Theorems | Examples |
| ----------- | -------- | -------- |
| | | |
# Week 10
| Definitions | Theorems | Examples |
| --------------------------------------------------- | ------------------------------------------------- | -------------------------------------------------------------- |
| | | |
| [[Truth Functionally Complete Set of Connectives]]. | [[Truth Functional Completeness of AND, OR, NOT]] | Use this show that other sets are truth functionally complete. |
| | | |
| | | |
Someone is ambiguous: may refer to one person. Say at least one person.