WEEK 0
F:
Basic notions from propositional logic: propositions and connectives.
1.1 Definition.
Proposition
1.2. Definition.
Conjunction
1.3. Definition.
Disjunction
1.4. Definition.
Negation
1.5. Definition.
Implication
Back