Výroková logika

Tvrzení $(P \Rightarrow Q) \Rightarrow (\neg Q \Rightarrow \neg P)$ je:

Tautologie.

Kontradikce.

Splnitelné.

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