Formule □(A => B) => (□A => □B)

není nikdy pravdivá

je pravdivá jen pro některá A,B

je vždy pravdivá (tautologie)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: