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?