Viktiga former är negation, konjunktion, disjunktion, implikation och ekvivalens. Särskilda symboler har införts för motsvarande operatorer. I klassisk satslogik utgår man ifrån att varje sats har ett av två sanningsvärden, sanning och falskhet. De satslogiska operatorerna tolkas som sanningsfunktioner, funktioner vars argument och värden båda är sanningsvärden.