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.