logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 3320

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

geometria
postów: 865
2015-03-16 18:45:02

Przeksztalcic formule zdaniowa (q$\Rightarrow$p)$\wedge$(p$\vee$r) do krotszej, rownowaznej postaci, tak by kazda
zmienna zdaniowa wystepowala w niej co najwyzej raz. W kazdym przejsciu podac tautologie, z
ktorej sie korzysta.

Korzystam kolejno z tautologii: eliminacja implikacji, rozdzielnosc koniunkcji wzgledem
alternatywy, prawo pochlaniania.

(q$\Rightarrow$p)$\wedge$(p$\vee$r) $\iff$ ($\neg$q$\vee$p)$\wedge$(p$\vee$r) $\iff$ ($\neg$q$\wedge$(p$\vee$r))$\vee$((p$\wedge$(p$\vee$r)) $\iff$($\neg$q$\wedge$(p$\vee$r))$\vee$p
moge dalej poprosic o pomoc?


kebab
postów: 106
2015-03-16 19:30:45

$(q\Rightarrow p)\wedge (p\vee r) \iff (\neg q \vee p)\wedge (p \vee r) \iff (p \vee \neg q)\wedge (p \vee r) \iff p \vee (\neg q \wedge r)$

kolejno:
eliminacja implikacji,
przemienność alternatywy,
rozdzielność alternatywy wzgl. koniunkcji.


geometria
postów: 865
2015-03-16 20:12:52

Dziekuje.

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj