Pokaż przez indukcję, że każda formuła \(\phi\) zbudowana ze zmiennych p i q oraz spójnika \(\Rightarrow\) jest równoważna dokładnie jednej z formuł z poniższego zbioru:
\(\{T, p, q, (p \Rightarrow q , (q \Rightarrow p ), (p \vee q)\}\)
Zadania z logiki(indukcja strukturalna)
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij