Formule p ⇒ p a (p ⇒ p) ⇒ (q ⇒ (p ⇒ q)) jsou tautologie. Přimou aplikací věty o implikaci (sémantický modus ponens) na tyto tautologie získáme tautologii

q ⇒ (p ⇒ q)

(q ⇒ p) ⇒ p

q ⇒ (p ⇒ p)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
56