Algebra sudova 7: operacije

z moguć je i drukčiji zapis istinitosnih tablica

– konjuncija
– p T T F F
– q T F T F
– p∧q T F F F
– disjunkcija (inkluzivna)
– p T T F F
– q T F T F
– p∨q T T T F
– disjunkcija (ekskluzivna)
– p T T F F
– q T F T F
– p∨q F T T F
– implikacija
– p T T F F
– q T F T F
– p→q T F T T
– ekvivalencija
– p T T F F
– q T F T F
– p↔q T F F T 14
Algebra sudova 8: operacije

z možemo vidjeti da nisu iscrpljene sve kombinacije u istinitosnim

tablicama
z Shefferova operacija
– = “složeni je sud istinit uvijek osim kad su i p i q T”
– znak p ↑ q
– tablica
p T T F F
q T F T F
p↑q F T T T
– = ¬(p ∧ q)
– nema primjera u prir. j.

15
Algebra sudova 9: operacije

z Łukasiewicz (+ Tarski)
– “složeni je sud istinit samo kad su i p i q F”
– = suprotnost inkluzivne disjunkcije
– = ¬(p ∨ q)
– znak p ∨ q
– tablica
p T T F F
q T F T F
p∨q F F F T
– ¬(p ∨ q)

16
Algebra sudova 10: operacije

z 2 najmanje zanimljiva slučaja:

z identična istina = tautologija
– “složeni je sud uvijek istinit”
– nema znaka
– tablica
p T T F F
q T F T F
p?q T T T T
z identična neistina = kontradikcija
– “složeni je sud uvijek neistinit”
– nema znaka
– tablica
p T T F F
q T F T F
p?q F F F F

17
Slaganje sudova 1

z uporabom zagrada ( i ) i znakova za operacije možemo spajati

jednostavne sudove u višestruko složene sudove
z primjeri
– (a ∨ b) ∧ c
– a ∨ (b ∧ c)
– (a ∨ ¬a) ∧ (b → a)
– ((a ∧ b) → c) ↔ ¬a)
– (((a → b) ∨ ¬b) ↔ (a ∧ c)) ∨ (d ∧ c)
z redoslijed rješavanja zagrada:
– kao i u matematici! = bitan!
– 3 x (2 + 1) = 9 <> (3 x 2) + 1 = 7
z rješavanje za slučaj a, b, c = T
– (a ∨ b) ∧ c a ∨ (b ∧ c)
– (T ∨ T) ∧ T T ∨ (T ∧ T)
– T∧T T∨T
– T T
18
Slaganje sudova 2

z rješavanje za sve slučajeve

a T T T T F F F F
b T T F F T T F F
c T F T F T F T F
(a ∨ b) ∧ c T F T F T F F F
a ∨ (b ∧ c) T T T T T F F F
z vježba na ploči za svaki pojedini slučaj
– drugi student

19
Zapis s pomoću stabla

z moguć je i još jedan oblik zapisa složenih sudova: stablo

– (p ∧ q) → (r ∧ s)

implikacija

konjunkcija konjunkcija

p ∧ q → r ∧ r

20
Zapis s pomoću stabla 2

– p ∧ (q → (r ∧ s))

konjunkcija

implikacija

konjunkcija

p ∧ q → r ∧ r

21
Drugi oblik zapisa
z može li se sud zapisati jednostavije? što se može pojednostavniti?
– zagrade = redundantne → bez uporabe zagrada
z poljski zapis:
– ¬p Np
– (p ∧ q) Kpq
– (p ∨ q) Apq
– (p → q) Cpq
– (p ↔ q) Epq
– (p ∧ q) ∨ r AKpqr
– p ∧ (q ∨ r) KpAqr
z obrnuti poljski zapis:
– ¬p pN
– (p ∧ q) pqK
– (p ∨ q) pqA
– (p → q) pqC
– (p ↔ q) pqE
– (p ∧ q) ∨ r pqKrA
– p ∧ (q ∨ r) pqrAK
22