Jakob si med počitnicami želi obiskovati jezikovni tečaj v Londonu. Pogoj za to, da mu bodo starši tečaj omogočili je
- da mora biti spričevalo od Jakoba vsaj dobro in
- da v času od junija ne bo poročil o večjih terorističnih akcijah v Angliji ter
- da bo
- bodisi babica prispevala tretjino denarja
- bodisi bo oče dobil nakazan honorar za neko opravljeno delo.
Zadeva je zapletena: odhod v Anglijo je odvisen od pravilnosti neke izjave, ki je sestavljena iz več drugih izjav. Izjave, ki so osnovni gradniki tiste odločilne izjave, imenujemo elementarne izjave. V našem primeru so take izjave:
- A: Jakobovo spričevalo je vsaj dobro.
- B: Mediji poročajo o večji nevarnosti terorizma v Angliji.
- C: Babica je pripravljena podpreti Jakoba in mu plačati tretjino stroškov tečaja.
- D: Oče bo do junija dobil izplačan honorar.
Kdaj bo torej Jakob lahko odšel na jezikovni tečaj v Anglijo? Ko bo pravilna izjava A in hkrati nepravilna izjava B in hkrati pravilna ena od izjav C ali D. Še krajše bi to zapisali kot:
Jakob bo šel v London, če bo pravilna izjava
A in (ne B) in (C ali D)
Dogovorimo se, kako bomo v nadaljevanju razumeli in uporabljali pojem "izjava":
Izjava je množica vseh smiselnih pripovednih povedi, ki imajo isti pomen. Izjave torej niso isto kot povedi, saj lahko isto vsebino v izjavi povemo z različnimi povedmi. Lahko bi rekli, da je izjava množica vseh povedi, ki povedo isto.