Zadatak 5 glasi: "Ako teroristi uzmu više taoca, onda će se njihovim željama udovoljiti samo ako mediji poprate cijeli događaj..."

V - teroristi uzmu više taoca
U - njihovim željama će se udovoljiti
M - mediji poprate cijeli događaj

Moje je pitanje zašto je ta rečenica prevedena kao V→(U→M) ,a ne kao (V→U)→M.
Također zanima me kako generalno prevoditi rečenice poput ove u kojima je "nejasna hijerarhija".

Hvala.

Pozdrav, imam pitanje u vezi isključivanja univerzalnog kvantifikatora.

Zadane su dvije premise, jedna oblika ∀x∀y(...) , a druga oblika ∃x(Lgx) gdje 'g' predstavlja Gogolja, i potrebno je dokazati nešto oblika ∃x∃y(...).

Trebam li prvo isključiti jedan univerzalni kvantifikator i uvrstiti Gogolja u prvu premisu, pa tek nakon toga pretpostaviti da postoji neki 't' (Tolstoj), te pod tom pretpostavkom isključiti i drugi? Ili je dozvoljeno pod tom pretpostavkom odmah isključiti oba kvantifikatora i umjesto x i y istovremeno uvrstiti g i t?

hvala na odgovoru

U vježbi 6., zadatak 15. uspio sam dokazati ali imam osjećaj da se može dokazati na mnogo kraći način.
Ključ: 
Bm - Mirko je u braku sa Mirkom
Bs - Mirko je u braku sa Slavkom
D - Mirko je bigamist


1  |(Bm ↔ Bs) → D
2  |¬D                      
3  |¬(Bm ↔ Bs)       1,2/MT
4  |¬((Bm ∧ Bs) ∨ (¬Bm ∧ ¬Bs))  3/op
5  |¬(Bm ∧ Bs) ∧ ¬(¬Bm ∧ ¬Bs)  4/DeM
6  |(¬Bm ∨ ¬Bs) ∧ (Bm ∨ Bs)      5/DeM
7  | ¬Bm ∨ ¬Bs                          6/i∨ 
8  | Bm ∨ Bs                               6/i∨
9  | |Bm         
10| |¬Bs                                 9,7/DS
11| |Bm ∧ ¬Bs                        9,10/u∧
12|Bm → (Bm ∧ ¬Bs)              9-11/i→
13| |¬Bm        
14| |Bs                                 8,13/DS
15| |¬Bm ∧ Bs                        13,14/DS
16|¬Bm → (¬Bm ∧ Bs)            13-15/i→
17|........
18|Bm ∨ ¬Bm            (ovo znam dokazati, a puno vremena otišlo bi mi na pisanje)
19||Bm             
20||(Bm ∧ ¬Bs)                         19,12/i→
21||(Bm ∧ ¬Bs) ∨ (¬Bm ∧ Bs)     20/u i→
22||¬Bm             
23||(¬Bm ∧ Bs)                          16,22/i→
24||(Bm ∧ ¬Bs) ∨ (¬Bm ∧ Bs)     23/ui→
25|(Bm ∧ ¬Bs) ∨ (¬Bm ∧ Bs)       18,19-21,22-24/i∨
26|(Bm ∨ Bs)                              25/op

Antun Tunjić

Prilikom viježbe za test naišao sam na zadatke sa disjunktivni silogizmom, ali nigdje primjer kako se on zapravo dokazuje. Bili netko pojasnio malo.

Večer! Zanima me ako biste mogli riješiti i pojasniti zadatak 4. iz Dodatnih vježbi 3? Pozdrav

Pozdrav. Dakle mene bi zanimalo: na primjeru zadatka 1. pod g iz vježbi 4.1, kada određujemo istinosnu vrijednost, možemo li ustvrditi da je rečenica istinita(pošto znamo da je ¬S neistinit pa je njegova negacija istinita), iako nam se u zadanom sudu na početku ništa ne spominje o sudu P odnosno 'Danas je u Zagrebu padala kiša' ?