Professional Documents
Culture Documents
Metodika Sudovi
Metodika Sudovi
GRČKI ALFABET
1
maqhmatikh texnh / episthmh
=
matematička vještina, znanost
Prema pridjevu
maqhmatiko
=
naučeno, predmet učenja; znanje, znanost
2
1.2. SUDOVI.
OSNOVE LOGIKE SUDOVA
3
Primjeri sudova
Dva plus dva je jednako četiri.
Istiniti sud.
Dva plus tri je jednako osam.
Lažni sud.
Koliko je sati?
Nije sud.
x+2=8
Nije sud.
Broj 0.0001 je mali broj.
Nije sud.
Ja sada lažem.
Nije sud.
4
Postoje izjavne rečenice
koje nisu sudovi!!
5
Složeni sudovi
Jednostavne sudove možemo povezivati u složene
sudove korištenjem logičkih veznika.
LOGIČKI VEZNICI
& = konjunkcija (i)
v = disjunkcija (ili)
─ = negacija (ne)
⇒ = implikacija (ako ... onda, implicira, povlači)
⇔ = ekvivalencija (ako i samo ako, ekvivalentno je)
6
Konjunkcija sudova
Čitamo: A i B
7
Primjeri konjunkcije
A = Rajčica je voće.
B = Mrkva je povrće.
Čitamo: A ili B
A = Sada je listopad.
B = 7=3+4
11
Primjeri disjunkcije
A = Danas je nedjelja.
B = Danas nije subota.
12
Negacija suda
Čitamo:
• nije A
• non A
• ne A
13
Primjeri negacije
A=3<4
-A= 3 ≥ 4
Čitamo:
• A povlači B
• A implicira B
• ako A, onda B
• iz A slijedi B
• B je nužan uvjet za A
• A je dovoljan uvjet za B
15
Primjeri implikacije
A = Sada imamo predavanja iz
Elementarne matematike.
B = Svake nedjelje pada kiša.
Čitamo:
• A je ekvivalentno s B
• A je ako i samo ako je B
• A je onda i samo onda ako je B
• A je nužan i dovoljan uvjet za B
A = 5>0
B = Sada je listopad.
19
Primjeri ekvivalencije
A = 7<4
B = Sada je ponoć.
20
Primjeri ekvivalencije
A = 1+2=3
B = Danas je 31.12.
0 0 0 0 1 1
0 1 0 1 1 0
1 0 0 1 0 0
1 1 1 1 1 1
23
Tablica istinitosti
A -A
0 1
1 0
24
Jednakost sudova
Pišemo: A≡B
25
Princip dvojne negacije
A -A -(-A)
0 1 0
1 0 1
-(-A) ≡ A 26
De Morganov princip
A B A&B -(A&B) -A -B (-A)v(-B)
0 0 0 1 1 1 1
0 1 0 1 1 0 1
1 0 0 1 0 1 1
1 1 1 0 0 0 0
-(A&B) ≡ (-A)v(-B) 27
Domaća zadaća
₪ Uvjerite se da vrijedi:
-(AvB) ≡ (-A)&(-B)
28
Primjeri
Negiraj:
Podne je i ja sam gladan.
A = Podne je.
B = Ja sam gladan.
C = A&B = Podne je i ja sam gladan.
-C = -(A&B) = (-A)v(-B)
= Nije podne ili ja nisam gladan.
29
Primjeri
Negiraj:
Ponoć je ili sam ja pospan.
A = Ponoć je.
B = Ja sam pospan.
C = AvB = Ponoć je ili sam ja pospan.
-C = -(AvB) = (-A)&(-B)
= Nije ponoć i ja nisam pospan.
30
Negacija implikacije
A B A⇒B -(A⇒B) -B A&(-B)
0 0 1 0 1 0
0 1 1 0 0 0
1 0 0 1 1 1
1 1 1 0 0 0
Negiraj:
Ako budem učio, onda neću pasti na ispitu.
A = Učit ću.
B = Neću pasti na ispitu.
C = A⇒B
= Ako budem učio, onda neću pasti na ispitu.
-C = -(A⇒B) = A&(-B)
= Učit ću i past ću na ispitu.
33
Domaća zadaća
₪ Uvjerite se da vrijedi:
A⇒B ≡ (-A)vB
34
Ekvivalencija sudova
A B A⇔B A⇒B B⇒A (A⇒B)&(B⇒A)
0 0 1 1 1 1
0 1 0 1 0 0
1 0 0 0 1 0
1 1 1 1 1 1
A⇔B ≡ (A⇒B)&(B⇒A) 35
Domaća zadaća
₪ Uvjerite se da vrijedi:
A&B ≡ B&A
AvB ≡ BvA
A&(BvC) ≡ (A&B)v(A&C) 0 označava lažan sud.
37
Primjer tautologije
A -A Av(-A)
0 1 1
1 0 1
(A&B)⇒
A B A&B
B
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 1
39
Sudovi vezani uz A⇒B
40
Sudovi vezani uz A⇒B
A B A⇒B B⇒A -A -B (-A)⇒(-B) (-B)⇒(-A)
0 0 1 1 1 1 1 1
0 1 1 0 1 0 0 1
1 0 0 1 0 1 1 0
1 1 1 1 0 0 1 1
41
Obrat po kontrapoziciji
Zaključujemo:
A⇒B ≡ (-B) ⇒ (-A)
Zaključujemo:
A⇒B ≢ B⇒A
A⇒B ≢ (-A)⇒(-B)
43
Obrat suda
Zaključujemo:
B⇒A ≡ (-A)⇒(-B)