Professional Documents
Culture Documents
Logika
Logika
Logika
4. Što je protuprimjer?
5. Što je tautologija?
6. Kakva je istinitosna vrijednost složenost iskaza ako su oba konjunka u njemu istinita?
1. ¬ ( S ➝ ( Q ∧ ¬ S))
2. ( S ➝ P ) ∨ ¬ ( P ∧ ¬ S)
3. ¬((S➝P)➝(Q∧R))
4. R ➝ ¬Q
5. ¬ ( ¬ P∧S )
10. Prevedi (formaliziraj) na jezik iskazne logike sljede e re enice prirodnog jezika. Prije
prijevoda navedi iskazna slova i njihovo zna enja te koristi kroz cijeli šesti zadatak ista
iskazna slova za iste jednostavne iskaze. (16; 1+3 boda za svaki podzadatak - jedan bod za
potpuno navođenje jednostavnih iskaza i iskaznih slova, tri boda za potpuno to an prijevod,
svaka pogreška u prijevodu zna i oduzimanje jednog boda) :
a) Ako i samo ako Andrija vjeruje samo sebi onda Andrija ne vjeruje nikome drugome.
b) Ako Andrija ne vjeruje nikome drugome i ako Andrija vjeruje samome sebi, onda nije tako
da Andrija vjeruje nekome drugome.
c) Ako i samo ako Andrija vjeruje nekome drugome onda i netko drugi vjeruje Andriji.
d) Nije tako da netko drugi vjeruje Andriji i da Andrija vjeruje nekome drugome.
č
č
ć
č
č
11. Provjeri je li zaklju ak koji se sastoji od iskaza iz prethodnog zadatka valjan, ako su podiskazi
a, b i c premise, a podiskaz d konkluzija. Valjanost takvog zaklju ka provjeri metodom
istinitosnog stabla. (6 - jedan bod za dobro postavljen zadatak, etiri boda za potpuno riješeno
stablo i jedan bod za određivanje je li zaklju ak valjan.)
¬ [ S ∨ ¬ ( Q → S)] → [ ( Q ∨ ¬ Q) ⋀ (¬ S ∨ P)]
S P Q ¬ [ S ∨ ¬ ( Q → S)] → [ ( Q ∨ ¬ Q) ⋀ ( ¬ S ∨ P)]
č
č
č
č
a) Negacija b) Konjunkcija c) Disjunkcija d) Implikacija e) Bikondicija
¬S S∧P S∨P S→P S↔P
⊥⊤ ⊤⊤⊤ ⊤⊤⊤ ⊤⊤⊤ ⊤⊤⊤
⊤⊥⊥ ⊤⊤⊥ ⊤⊥⊥ ⊤⊥⊥
⊤⊥ ⊥⊤⊥ ⊥⊤⊤ ⊥⊤⊤ ⊥⊥⊤
⊥⊥⊥ ⊥⊥⊥ ⊥⊤⊥ ⊥⊤⊥
• Ako i samo ako je knjiga u torbi i nije na stolu, onda u knjigu vratiti u knjižnicu.
• Knjigu u vratiti u knjižnicu ili nisam pro itao knjigu i ne u ju vratiti u knjižnicu.
• Ako knjigu vratim u knjižnicu, posudit u knjigu koju trebam pro itati za lektiru, a ako
posudim knjigu
koju trebam pro itati za lektiru ne u markirati sljede i tjedan.
15. Prevedi/formaliziraj zadane re enice na jezik logike sudova.
AB ( A ∧ ¬ B) ↔ ¬ ( A ➝ B)
ABC ( A ∧ ¬ B) ↔ ¬ ( ( C ➝ ¬ A) ∨ ¬ ( A ➝ ¬ C))
č
17. Formaliziraj sljede e zaklju ke:
a) Ako je danas u Rijeci padala kiša, onda je u Rijeci bilo i obla no. Dakle, ako danas u
Rijeci nije bilo obla no, onda u Rijeci nije padala kiša.
b) Ako je danas u Rijeci padala kiša, onda je u Rijeci i bilo obla no. Danas je u Rijeci bilo
hladno i padala je kiša. Dakle, danas je u Rijeci bilo obla no i hladno.
c) Danas je u Rijeci padala kiša samo ako je u Rijeci bilo i obla no. No, danas je u Rijeci
bilo sun ano ali ne i obla no. Dakle, danas je u Rijeci bilo sun ano i nije padala kiša.
d) Ako se danas iz Zagreba vidjela duga, onda je u Rijeci padala kiša. Ako je danas u Rijeci
padala kiša, onda je u Rijeci bilo i obla no. Dakle, danas se iz Rijeke vidjela duga samo ako
je u Rijeci bilo i obla no.
e) Ako je danas u Rijeci bilo sun ano, onda nije bilo hladno. No, ako je bilo obla no, u
Rijeci je bilo hladno. Dakle, ako je danas u Rijeci bilo obla no, onda nije bilo sun ano.
18. Provjeri valjanost zaklju aka iz 1. zadatka, ako je to mogu e, metodom reductio ad absurdum.
20. Iskaze iz 3. zadatka pretvori u istovrijedne iskaze u kojima eš koristiti iskazna slova koja se
nalaze u zadanim iskazima te (, ), ¬, ∧.
22. Provjeri pomo u istinitosnog stabla istovrijednost po etnih iskaza iz 4. zadatka i iskaza koje si
dobila/ dobio kao istovrijedni iskaz u kojem si koristila/koristio kao veznike samo negaciju i
konjunkciju.
č
ć
ć
č
ć
č
č
č
č
č
č
č
č
č
ć
ć
č
č
č
č
č
č
č
28. (¬ R ∧ Q) ∨ ¬ [( ¬ S ∧ P ) ∧ ( Q ∨ S )]
[(¬ P → Q) ∨ (¬ Q ↔ P)] ∨ [Q ∨ ( ¬ Q ∧ ¬ P)]
30. Zaklju ak je valjan ako ne postoji protuprimjer. Protuprimjer je slu aj kada su sve premise
istinite, a iz njih slijedi neistinita konkluzija. Kod provjere valjanosti zaklju ak MRAA
pretpostavlja se protuprimjer. Ako se pokaže da je protuprimjer mogu zaklju ak nije valjan.
Ako dođe do nedosljednosti (P, ¬P) to zna i da pro- tuprimjer nije mogu i da je zaklju ak
valjan.
32. (D ↔ ¬ G) ∧ G
{G ∨ [( A → D) ∧ A]} → ¬ D G →¬ D
33. Dva su iskaza istovrijedna ako imaju iste vrijednosti za sva istinitosna vrednovanja.
Istovrijednost se metodom RAA provjerava kroz dva reda, tako da se pretpostavlja da su iskazi
razli itih vrijednosti (u prvom redu je prvi iskaz to an, a drugi iskaz neto an, a u drugom redu
je prvi iskaz neto an, a drugi iskaz to an). Ako je u barem jednom redu mogu e da su iskazi
razli ite vrijednosti nisu istovrijedni.
34. Formaliziraj sljede e re enice (prevedi s prirodnog jezika na jezik iskazne logike):
a) Ako nastavnik ne e mo i ispravno izgovoriti Siobhanovo ime, Robert i Juraj e se smijati.
b) Automobil je upaljen i u rezervoaru ima dovoljno goriva, ili nije tako da je automobil
č
č
ć
č
č
ć
ć
č
ć
ć
ć
č
č
ć
č
č
č
č
č
ć
č
ć
č
ć
ć
ć
č
č
č
č
ć
ć
ć
ć
č
ć
upaljen i da u sti i na vrijeme u školu.
c) Ako i samo ako uspijem upaliti automobil i u rezervoaru imam dovoljno goriva, sti i u na
vrijeme u školu, ili ako nema dovoljno goriva ili automobil ne uspijem upaliti, ne u sti i na
vrijeme u školu.
d) Ako je Alfred eminentan logi ar onda su i Kurt i Alfred eminentni logi ari.
35. Formaliziraj sljede i zaklju ak (prevedi s prirodnog jezika na jezik iskazne logike):
Kurt i Alfred su eminentni logi ari ako i samo ako je Kurt eminentan logi ar ili je Albert
eminentan logi ar. Albert je eminentan logi ar.
Nije tako da Kurt nije eminantan logi ar ako Albert nije eminentan logi ar.
Dakle, Albert i Kurt su eminentni logi ari.
ć
ć
ć
ć