Dobro in jasno sporazumevanje je temelj dobrih odnosov in tudi pogoj uspešnega sporočanja v znanosti in tehnologiji. Jasno govorjenje pa pomeni, da vemo, kaj je res in kaj ni. Izjavni račun nam pomaga razumeti pravilnost in smiselnost izjav.
[Tower bridge London]
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.

Povezovanje izjav
Izjave je moč med seboj povezovati v "nove" sestavljene izjave, katerih pravilnost je odvisna od
a) pravilnosti posameznih izjav, iz katerih je nova izjava sestavljena in
b) načina povezave med izjavami.
Osnovne logične operacije, s katerimi povezujemo izjave so:
| Operacija | Znak | Ime operacije |
| NE | ali | NEGACIJA |
IN | | KONJUNKCIJA |
ALI | | DISJUNKCIJA |
| SLEDI oz. "če - potem" | | IMPLIKACIJA |
NATANKO TEDAJ oz. "če in samo če" | | EKVIVALENCA |
Izjavi, ki ni sestavljena, pravimo elementarna izjava.
Logika raziskuje pravilnost oziroma nepravilnost sestavljenih izjav v odvisnosti od pravilnosti elementarnih izjav.

Negacija
Primer negacije:
A: Metka govori razumljivo.
A: Metka ne govori razumljivo.
Seveda lahko izjavo
A zapišemo tudi z drugo povedjo (z istim pomenom):
A: Metka govori nerazumljivo.
A: Ni res, da Metka govori razumljivo.
NEGACIJA izjave
A je izjava, ki zanika izjavo
A. Negacija
A je pravilna, če je izjava
A nepravilna in obratno; negacija
A je nepravilna, če je izjava
A pravilna.
Logične vrednosti izjave in njene negacije zapišemo s pravilnostno tabelo:
ali

Lastnost negacije
Negacija negacije

(

A) je
Ni res. Negacija negacije izjave A je v primeru, ko je izjava A nepravilna, nepravilna.
Pravilno.

(

A)=A
Ni res. Negacija negacije izjave A je v primeru, ko je izjava A pravilna, pravilna.

Konjunkcija
KONJUNKCIJA je izjava oblike
A
B (
A in
B). Konjunkcija je pravilna, če sta izjavi
A in
B pravilni in je nepravilna v vseh drugih primerih.
Dopolni pravilnostno tabelo za konjunkcijo:

Primer konjunkcije
Kakšna je vrednost konjunkcije A

B, če sta izjavi:
A: Praštevil je končno mnogo.
B: 5 je večkratnik števila 1.
Ni res. Izjava A je nepravilna, zato je konjunkcija nepravilna.
Prav imaš. Izjava B je pravilna, izjava A je nepravilna. Konjunkcija je nepravilna.

Disjunkcija
DISJUNKCIJA je izjava oblike
A
B (
A ali
B). Disjunkcija je nepravilna, če sta nepravilni obe izjavi
A in
B. V ostalih treh primerih je pravilna.
Dopolni pravilnostno tabelo za disjunkcijo:

Naloge
1. Dana je izjava A: 2 je liho število. Kakšna mora biti logična vrednost izjave B, če je disjunkcija A

B nepravilna?
Nimaš prav. Če je ena od izjav A ali B pravilna, je disjunkcija pravilna.
Prav imaš. Disjunkcija je nepravilna le v primeru, če sta obe izjavi A in B nepravilni.
2. S pomočjo pravilostne tabele pokažimo, da je izjava (A


A)

(B


B) vedno pravilna.
Dogovorimo se, da izjavo, ki je vedno pravilna, imenujemo TAVTOLOGIJA.
3. S pravilnostno tabelo pokaži pravilnost sestavljene izjave

(A


B)


C.