Dobrodošli, gost
Trebate se registrirati prije nego možete pisati na ovoj stranici.

Korisničko ime
  

Lozinka
  





Pretraži forume

(Napredno traženje)

Statistike foruma
» Članovi: 17
» Najnoviji član: Filip
» Forumske teme: 6
» Forumski postovi: 13

Potpuna statistika

Zadnje teme
Vježbe 6.2
Forum: Logika
Zadnja poruka: lmitrovic2
01.06.2018, 13:54:49
» Odgovori: 0
» Pogledi: 517
Isključivanje univerzalno...
Forum: Logika
Zadnja poruka: kresimir
19.04.2018, 16:45:49
» Odgovori: 1
» Pogledi: 491
Dokazivanje 15. zadatka u...
Forum: Logika
Zadnja poruka: kresimir
19.04.2018, 16:38:10
» Odgovori: 1
» Pogledi: 291
Disjunktivni silogizam
Forum: Logika
Zadnja poruka: kresimir
05.12.2017, 22:59:12
» Odgovori: 1
» Pogledi: 418
Dodatna Vježba 3
Forum: Logika
Zadnja poruka: kresimir
03.12.2017, 23:22:59
» Odgovori: 1
» Pogledi: 379
Vježbe 4.1
Forum: Logika
Zadnja poruka: kresimir
03.12.2017, 19:37:52
» Odgovori: 3
» Pogledi: 472

 
  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.

Ispiši ovo

  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

Ispiši ovo

  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ć

Ispiši ovo

  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?

Ispiši ovo

  Dodatna Vježba 3
Napisano od: boro_laura - 03.12.2017, 20:51:09 - Forum: Logika - Odgovora (1)

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

Ispiši ovo

  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' ?

Ispiši ovo