- Koniunkcja:
Koniunkcja, czyli logiczne AND, to zdanie złożone utworzone przez połączenie dwóch lub więcej zdań słowem „i”. Twierdzenie jest prawdziwe, gdy wszystkie zdania składowe są prawdziwe, a w przeciwnym razie fałszywe.
Na przykład:
Jeśli pierwsze zdanie brzmi „Dzisiaj jest słonecznie”, a drugie „Na zewnątrz jest ciepło”, to spójnik „Dzisiaj jest słonecznie i ciepło” jest prawdziwy tylko wtedy, gdy oba twierdzenia są prawdziwe.
- Dysjunkcja:
Dysjunkcja, czyli logiczne OR, to zdanie złożone utworzone przez połączenie dwóch lub więcej zdań słowem „lub”. Twierdzenie jest prawdziwe, gdy co najmniej jedno ze zdań składowych jest prawdziwe.
Na przykład:
Jeśli pierwsze zdanie brzmi „Dziś jest słonecznie”, a drugie „Na zewnątrz jest pochmurno”, to alternatywna odpowiedź „Dziś jest słonecznie lub pochmurno” jest prawdziwa, jeśli którekolwiek z tych twierdzeń jest prawdziwe.