logisk algebra
Logisk algebra, oprindelig betegnelse for boolesk algebra, hvori sætninger fremstilles som ligninger. Idéen er at lade variable, x, y, z, ..., betegne sætninger, og de algebraiske operationer + og ∙ betegne de logiske konnektiver "eller" og "og". Således står x+y for sætningen