[msiwak]

Ok - tutaj będę się starał umieszczać na bieżąco zadanka, które przerabialiśmy wraz z odpowiedziami. Jeżeli ktoś nie wie jak dojść do rozwiązania zadania - niech utworzy nowy temat, tam postaram się wszystko w miarę sprawnie wyjaśnić.

Jeśli ktoś znajdzie tu błąd (czy nawet tylko literówka) to niech pisze na np. pw (jestem tylko człowiekiem - popełniam błędy )

1. Sprawdź czy jest to tautologia (tabelka, skrócona metoda sprawdzania tautologii):
-----
1.1
(p v q) -> (~p->q)

Odp.: to jest tautologia
-----
1.2
((p ^ q) -> r) ->((p ^ ~q) -> ~r

Odp.: to NIE jest tautologia
-----
1.3
(p ^ ~(q v r)) -> ((p ^ ~q) ^ ~r)

Odp.: to jest tautologia
-----
1.4
((p v q) -> ~r) -> ((~p ^ q) v r)

Odp.: to NIE jest tautologia
-----
1.5
((p -> q) ^ r) -> (~r -> (p ^ q))

Odp.: to jest tautologia
-----
1.6
(p -> q) <=> (~q -> ~p)

Odp.: to jest tautologia
-----

2. Wynikanie logiczne ze zdań
-----
2.1
z1 - Jeśli prawa historii są uniwersalne i poznawalne to zdarzenia historyczne można przewidywać
z2 - Jeżeli zdarzenia historyczne można przewidywać to można też im zapobiegać
z3 - Jeżeli można zapobiegać zdarzeniom historycznym to prawa historii nie istnieją.

Z - Jeżeli istnieją prawa historii to nie są one uniwersalne lub nie są poznawalne

z1 ^ z2 ^ z3 => Z

Odp.: to jest tautologia