Splnitelnost, tautologie, kontradikce

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

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

Tvrzení $(A \wedge \neg A)$ je:

Tvrzení $\neg (A \vee \neg A)$ je:

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

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

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

Seznam všech otázek