Propositie­logica

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.