|
IZJAVNA LOGIKA
Izjavna logika temelji na povezavi posameznih izjav, ki temelji na več tipih logičnih povezav praviloma dveh izjav, celotna izjava pa je
lahko še zanikana.
Pravila, ki veljajo za posamezne tipe izjav:
|
IN izjave
|
ALI izjave
|
ČE, POTEM
izjave
|
NATANKO TEDAJ;
ČE IN SAMO ČE izjave |
ALI – ALI
izjave;
izključujoče |
|
R + R = R
R + N = N
N + R = N
N + N = N
|
R + R = R
R + N = R
N + R = R
N + N = N
|
R + R = R
R + N = N
N + R = R
N + N = R
|
R + R = R
R + N = N
N + R = N
N + N = R
|
R + R = N
R + N = R
N + R = R
N + N = N
|
Negacija izjave: ni res, da … če je izjava v
nadaljevanju R, potem je celotna izjava N in obratno!
iz R Þ N ter iz N Þ R
|
Naloge izjavne logike:
Otok lihov in sodov 1
Levičarji in desničarji 1
Obiski pri Kregarjevih 1
Vitezi in oprode 1
Potrebuješ pomoč? |
