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ł).
7 paź 21:38
Saizou : Może chodzi o metodę skróconą Przedstaw jakiś przykład, bo trochę nie rozumiem o co ci chodzi.
7 paź 21:46
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...
7 paź 21:47
Maciess: Tabelka moze zająć ci bardzo dużo czasu. Lepiej sie zastanowic i sprobować analizować. Formalnie dowod nie wprost mozna zrobic.
7 paź 21:48
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
7 paź 22:06
Saizou : Czyli zapisujemy zdanie w alternatywnej postaci normalnej lub koniunkcyjnej postaci normalnej (po chłopsku: przedstawienie wszystkiego za pomocą spójnika i albo lub)
7 paź 22:13