SEMANTIKA LOGIČKIH OPERATORA

Ovo bi trebali moći: -prevesti rečenice s običnog jezika na jezik logike sudova i obratno
-vrednovati sudove s obzirom na neko stanje stvari
-razumjeti i primijeniti logičke odnose i njihova svojstva
Poštovani učenici danas nastavljamo logiku sudova (veznike njijek, konjukciju, disjunkciju, pogodbu i
dvopogodbu smo radili i prevodili rečenice). Ponoviti ćemo istinitost/neistinitost veznika i naučiti
ćemo logičke odnose i njihova svojstva: kontradikciju, ekvivalenciju, komutativnost konjukcije i
disjunkcije i De Morganove zakone za konjukciju i disjunkciju (mnoge od tih zakona ste radili na
matematici)

Videopredavanje https://youtu.be/D7meYNZTDIs pogledajte do Pogodbe (znači pogodbu i

dvopogodbu sljedeći sat)

NIJEK

P ¬P ¬¬P
I N I
N I N
P i ¬ P ne mogu oba istovremeno biti istiniti i neistiniti, zato su sudovi P i ¬ P kontradiktorni
Ne može istovremeno biti istinito Petar je plivač (P) i Petar nije plivač (¬ P )
KONTRADIKCIJA ILI PROTUSLOVLJE: dva su suda kontradiktorna, ako u svakoj interpretaciji sudova
od kojih se sastoje imaju različitu istinitosnu vrijednost, označava se ⊥
P i ¬ ¬ P imaju istu vrijednost, P ≡ ¬ ¬ P , ekvivalentni su, istovrijedni, znak za ekvivalentnost ≡
Nije istina da Petar nije plivač ¬ ¬ P , Petar je plivač P (sudovi su ekvivalentni)
EKVIVALENCIJA ILI ISTOVRIJEDNOST: dva su suda ekvivalentna ako u svakoj interpretaciji imaju
jednaku istinitosnu vrijednost
ZAKON DVOSTRUKOG NIJEKA P ≡ ¬ ¬ P
Negaciju možemo prikazati i zaključkom:
1.Uvođenje dvostruke negacije: Petar je plivač P
Nije istina da Petar nije plivač ¬ ¬ P
(zašto se ovdje radi u uvođenju negacije?-zato jer smo u konkluziji kroz dvostruki nijek potvrdili 1. sud
(premisu)
2.Isključenje negacije : Nije istina da Petar nije plivač ¬ ¬ P
Petar je plivač
(zašto se ovdje radi o isključenju negacije?-zato jer smo u konkluziji potvrdili premisu tako što smo
isključili negaciju)
KONJUKCIJA

P Q P∧ Q
I I I
I N N
N I N
N N N
konjukcija je istinita ako i samo ako
su oba podiskaza istinita
Petar je plivač i logičar. P ∧ Q
Komutativnost konjukcije: P∧ Q ≡ Q ∧P (Petar je plivač i logičar ≡ Petar je logičar i plivač)
Komutativnost: mjesta članova konjukcije se mogu zamijeniti, a da se ne promjeni njihova
vrijednost
Načelo neproturječnosti:  ¬ (p ∧¬ p)
P ne može istovremeno biti istinit i neistinit (Nije moguće da je P i ne-P)
Isključenje konjukcije: Petar je plivač i logičar P∧ Q
Petar je plivač P

(u konkluziji smo isključili drugi sud, konjukciju)

Uključenje konkluzije: P Petar je plivač

Q Petar je logičar
P∧ Q Petar je plivač i logičar
(u konkluziji smo uključili konjukciju, dva suda, dvije premise)

Neistinitost konjukcije: De Morganovi zakoni: ¬ (p ∧q) ≡ ¬ p  v ¬ q (uoči mijenja se konjukcija u

disjunkciju)
Možemo zapisati i ovako: ¬ (P ∧Q) ↔ (¬ P  V ¬ Q)

P Q ¬ ( P ∧ Q) ¬ P ∨ ¬ Q ¬ (P ∧Q) ↔ (¬ P  V ¬ Q)
I I N I I I NI NNI N I I I I NIN NI
I N I I N N NI I IN I I NN I N II IN
N I I NN I I N I NI I NN I I IN I NI
N N I N N N IN I I N I NN N I IN II N
U tablici možete vidjeti da oba iskaza imaju iste istinitosne vrijednosti (to znači da su jednokovrijedni,
glavni poveznici istaknuti crvenom bojom)

DISJUNKCIJA-UKLJUČNA (ALTERNACIJA)

P Q P∨ Q
I I I
I N I
N I I
N N N
disjunkcija je istinita ako je i samo
ako je bar jedan podiskaz istinit
Petar je plivač ili logičar

Komutativnost : P ∨ Q ≡ Q ∨P
Komutativnost: mjesta članova disjunkcije se mogu zamijeniti, a da se ne promjeni njihova
vrijednost
Neistinitost disjunkcije: De Morganovi zakon za disjunkciju: ¬ (p v q) ≡ ¬ p∧¬ q (ovo je ekvivalentnost
za disjunkciju; uoči mijenja se disjunkcija u konjukciju) Možemo zapisati i ovako:
¬ (p v q) ↔ ¬ p∧¬ q-u tablici ispod riješi prazan stupac:

P Q ¬( P ∨ Q) ¬ P∧ ¬Q ¬ (P V Q) ↔ ¬ P∧¬ Q-

I I N I I I NI N NI
I N N I I N NI N I N
N I N NI I IN N N I
N N I NNN I N I IN
U tablici možete vidjeti da oba iskaza imaju iste istinitosne vrijednosti (to znači da su jednokovrijedni)