Dobrodošli, gost |
Trebate se registrirati prije nego možete pisati na ovoj stranici.
|
|
|
Vježbe 6.2 |
Napisano od: lmitrovic2 - 01.06.2018, 13:54:49 - Forum: Logika
- Bez odgovora
|
 |
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.
|
|
|
Isključivanje univerzalnog kvantifikatora |
Napisano od: Filip Marčec - 17.04.2018, 13:30:33 - Forum: Logika
- Odgovora (1)
|
 |
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
|
|
|
Dokazivanje 15. zadatka u vjezbi 6. |
Napisano od: AntunTunjić - 16.04.2018, 21:40:24 - Forum: Logika
- Odgovora (1)
|
 |
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ć
|
|
|
Disjunktivni silogizam |
Napisano od: Kian Bigovic - 05.12.2017, 18:32:16 - Forum: Logika
- Odgovora (1)
|
 |
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.
Ispravak, pitanje se mijenja u to dali treba npr.
P v S
7S
Tražimo P.
Treba li prilikom pretpostavke S, pretpostaviti 7P(kao u riješenjima), ili možemo odmah uvesti kontradikciju?
|
|
|
Vježbe 4.1 |
Napisano od: boro_laura - 02.12.2017, 20:05:55 - Forum: Logika
- Odgovora (3)
|
 |
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' ?
|
|
|
|