Rachunek zdań Przemek: Udowodnić, że jeśli p=1 to (p⇒~p)⇒q Próbowałem w ten sposób: (p⇒~p)=0 jeśli dobrze rozumiem tak musi być? więc: 0⇒q (0⇒0)=1 (0⇒1)=1 więc dla każdego q (1 lub 0). Powiedzcie proszę, dobrze to zrobiłem?

PuRXUTM: myślę że tak, mamy pokazać że jest to tautologia

Przemek: Dzięki