Aksjomaty klasycznego rachunku zdań
Przemysław: Dobry wieczór!
Jeżeli można, to proszę o wytłumaczenie jak rozumieć te aksjomaty:
1) (α⇒(β⇒α))
2) (α⇒(β⇒γ))⇒((α⇒β)⇒(α⇒γ))
3) (~α⇒β)⇒((~a⇒~β)⇒γ)
Tzn. każdy z osobna znak niby rozumiem, ale chciałbym wiedzieć "skąd", "dlaczego" taki aksjomat
i co on dokładnie znaczy
