Propositielogicaꜛ
De propositielogica gebruikt drie belangrijke symbolen.
- ¬Aꜛ
- A is nietꜛ waar.
- A∧Bꜛ
- A enꜛ B zijn beide waar.
- A∨Bꜛ
- A ofꜛ B is waar (of beide).
De gelijkheden van Augustus De Morganꜛ gelden: A∧B = ¬(¬A∨¬B); A∨B = ¬(¬A∧¬B).
((Te doen.))
Veel andere connectieven reduceren naar deze. Zo is „A veeleer danꜛ B” logisch gelijk aan A∧¬B. Uitleggen hoe de gelijkheid in twee richtingen reduceert. ”De maan is rond veeleer dan Jupiter kubiek” heeft betekenis in een context waar bijv. bekend is dat alle planeten dezelfde vorm hebben, maar confligerende informatie over individuele planeten bestaat. We weten dat A en B niet beide waar kunnen zijn, en deze zin claimt dat we de notie van een kubieke maan, en niet van een rond Jupiter, moeten opgeven.