[es] - Propozicijska logika

maggoth

Član broj: 150750
Poruke: 1
*.adsl.net.t-com.hr.

ICQ: 91411155

Profil

^{05.07.2007. u 13:11 - pre 204 meseci}

Pozdrav!

Buduci ne znam skoro nista o toj logici nadao sam se da bi mi netko mogao pomoci oko nekih zadatka. Svaka pomoc je dobrodosla...

Zadatak 1.

Svaki stanovnik drzave X je sretan (uvijek govori istinu) ili nesretan (uvijek govori neistinu), ali ne oboje.
Psiholog PS testira bracni par (B1,B2) tako da pita osobu B1 o stanju para. Osoba B1 je odgovorila:
Ako sam ja sretna osoba, onda je B2 sretna osoba.
Kakvo je stanje osoba B1 i B2?

Zadatak 2.

U strukturi M=(S,I,k1) nad skupom propozicija P={p1,p2}, gdje je skup mogucih svjetova S={s1,s2,s3}, zadajte I i k1, a zatim ispitajte je li (M,s2) |= k1(k1(p1=>p2)).

evo to je to...hvala unaprijed

Odgovor na temu

h4su

Član broj: 146153
Poruke: 162
*.sa.hs-hkb.ba.

+4 Profil

Re: Propozicijska logika - pomoc

^{08.07.2007. u 21:37 - pre 204 meseci}

Pozdrav,trebalo bi da bude ovako nesto:

Pretpostavimo da osoba B1 govori neistinu.Eh sad kako je
p implicara q netacno samo u slucaju kada je p tacno a q netacno pri cemu je
p-Ako sam ja sretna
q-onda je B2 sretna

onda imamo da je p tacno tj da je ona sretna tj.govori istinu sto je u kontradikciji s pretpostvakom da govori neistinu.
Prema tome ustanovili smo da je ona sretna tj.da govori istinu pa je onda sretna i osoba B2.

Nadam se da nisam zakomplikovao. :D

Odgovor na temu