Logika Klaudia: Jeżeli z faktu, iż funkcja f jest różniczkowalna w punkcie x wynika, że jest ona cią− gła w punkcie x, to z faktu, iż funkcja f jest ciągła w punkcie x, wynika, że jest ona różniczkowalna w punkcie x. Zapisz schemat zdania w rachunku zdań

PW: p⇒q ⇒ q⇒p (nie dyskutujemy prawdziwości, tylko zapis).

PW: Prawdę mówiąc powinny być nawiasy dla formalistów (p⇒q) ⇒ (p⇒p)

PW: I jeszcze raz poprawiam (cholerna ślepota): (p⇒q) ⇒ (q⇒p)