LOGIKA :(

[studentka-is-me]

może i mi ktoś pomoże rozwiązać te zadania z góry baaaaardzo
dziękuję........ jej ze mnie typowa humanistka aaaaa tu proszę taki
przedmiot na studiach się trafił ale może się uda...... a może
macie jakieś logiczne rady hehe jak się zabrać za ten okropny
przedmiot :(

Czy ktoreś z podanych wyrażeń jest równoważne dysjfuncji p/q
a) ~p v ~q
b) ~( p ^ q)
c) p -> ~ q
d) q -> ~ p

Czy ktoóreś z podanych wyrażeń jest równoważne implikacji ( p -> q)

a) ( ~p ^ ~q )
b) ~( p v ~q )
c) ~( p ^ ~q )
d) ~( ~p ^ q )

sprawdz metodą 0-1, które z następujących funkcji logicznych są
tautologią

a) ( ~p -> ~ q) -> ( q -> p)
b) [ q v ( p -> r) ] = [ ~r = ( p -> ~ q) ]
c) [ ( ~r v ~p ) -> ( q = r ) ] ^ ( p v q )
d) [ (~r = q ) ^ ( ~q -> p ) ] v [ ( p ^ ~ q ) -> ( p v r) ]

Na jakim prawie logicznym oparte jest wnioskowanie: " Jeżeli jest
tak, że oskarżony był bądz podżegaczem, bądz pomocnikiem i prawdą
jest , że był podżegaczem, to wobec tego nie był pomocnikiem"

[malkrola]

"Czy ktoreś z podanych wyrażeń jest równoważne dysjfuncji p/q" może to literówka, ale nie rozumiem polecenia..

"Czy ktoóreś z podanych wyrażeń jest równoważne implikacji ( p -> q)?"
p->q = ~p v q =~(~(~p v q))= ~(p ^~q) odpowiedz c.

heh.. co do 3. i sprawdzania metodą zero-jedynkową to zachęcam do lektury i zrobienia tego na własną rękę, gdyż to naprawdę nie jest skomplikowane.

Nato miast zadanie ostatnie; wprowadzmy oznaczenia
p- oskarżony był podżegaczem
q- oskarżony był pomocnikiem

wtedy ([p v q] ^ p)->~q

Pewna nie jestem.