[ maggoth @ 05.07.2007. 13:11 ] @
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
[ h4su @ 08.07.2007. 21:37 ] @
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