Zapis alternatywy i koniunkcji przez implikację i funktor T

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
il+na
Użytkownik
Użytkownik
Posty: 1
Rejestracja: 18 paź 2017, o 17:57
Płeć: Kobieta
Lokalizacja: Kraków

Zapis alternatywy i koniunkcji przez implikację i funktor T

Post autor: il+na » 18 paź 2017, o 18:18

Witam,
dostałam zadanie, by zapisać alternatywę i koniunkcję przy pomocy implikacji i funktora prawdy T. O ile zapis alternatywy za pomocą implikacji i funktora fałszu F jest jak najbardziej prosty do osiągnięcia ( \(\displaystyle{ p \vee q \equiv \neg p \Rightarrow q \equiv (p \Rightarrow F) \Rightarrow q}\) , o tyle wydaje mi się, że nie jest to możliwe, żeby zapisać alternatywę czy też koniunkcję jedynie za pomocą implikacji i funktora prawdy, przecież w żaden sposób nie można obejść tej negacji danymi funktorami. Mylę się czy też mam rację i powinnam (używając metody niezmienników) pokazać, że nie da się uzyskać takiego zapisu?

ODPOWIEDZ