Matematická logika

Tvrzení $((A \Rightarrow B) \Rightarrow A) \Rightarrow A$ je:

Splnitelné.

Tautologie.

Kontradikce.

Kopírovat obsah stránek, čí s ním jinak manipulovat bez svolení jeho autora, je zakázáno.