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

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

je vždy pravdivá (tautologie)

není nikdy pravdivá

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: