Siemka, chciałabym się spytać o prawo rachunku zadań (tautologie). Ania: Siemka, chciałabym się spytać o prawo rachunku zadań (tautologie). Jeden nauczyciel uczył mnie sprawdzać czy to jest tautologia za pomocą tabelki, a drugi zaczął mnie teraz uczyć za pomocą pisania jednak na początku nie zrozumiałam jak mam to robić (nie za pomocą tabelki tylko poprzez stosowanie praw). Czy moglibyście mi pomóc jak mam znaleźć wytłumaczenie jak robić za pomocą praw ( dokładnie nie wiem jak to się nazywa jak on robił).

Saizou : Może chodzi o metodę skróconą Przedstaw jakiś przykład, bo trochę nie rozumiem o co ci chodzi.

ite: metoda zero−jedynkowa (z zastosowaniem tabeli lub bez), metoda zero−jedynkowa skrócona, dowód założeniowy (metoda założeniowa) wprost, dowód założeniowy nie wprost, dowodzenie w oparciu o aksjomaty ale metody "za pomocą pisania" nie znam...

Maciess: Tabelka moze zająć ci bardzo dużo czasu. Lepiej sie zastanowic i sprobować analizować. Formalnie dowod nie wprost mozna zrobic.

Ania: No to tak : (p −>q /\ q −> r ) −> (p −>r) Implikacja: ~(p−>q /\ q −> r) v (p −> r) De morgana, implikacja (~(p−>q) v ~(q −> r)) v (~p v r) implikacja, Implikacja (~(~p v q) v ~(~q v r)) v (~p v r) De morgana, de morgana ((~~p /\ ~q) v (~~q /\ ~r)) v (~p v r) podwojna negacja,podwojna negacja (p /\ ~q) v (q /\ ~r) v ~p v r przemiennosc,przemiennosc p /\ ~q v ~p v (q /\ ~r) v r rozdzielnosc rozdzielnosc ((p v ~p) /\ (~q v ~p)) v ( q v r) /\ (~r v r) tautologia tautologia ( 1 /\ (~q v ~ p)) v (( q v r)/\ 1) pochlanianie pochlanianie (~q v ~ p) v ( q v r) przemiennosc (~q v ~ p)) v (( q~r)q v (~q v ~ p)) v (( q~r)p v r tautologia 1 v (~q v ~ p)) v (( q~r) p v r pochlanianie 1

Saizou : Czyli zapisujemy zdanie w alternatywnej postaci normalnej lub koniunkcyjnej postaci normalnej (po chłopsku: przedstawienie wszystkiego za pomocą spójnika i albo lub)