Testy

Splnitelnost, tautologie, kontradikce

Seznam všech otázek

1. Tvrzení `(P \Rightarrow Q) \Leftrightarrow (Q \Rightarrow P)` je:

   Kontradikce.
   Tautologie.
   Splnitelné.

2. Tvrzení `(P \Rightarrow Q) \Rightarrow (\neg Q \Rightarrow \neg P)` je:

   Tautologie.
   Kontradikce.
   Splnitelné.

3. Tvrzení `(A \wedge \neg A)` je:

   Splnitelné.
   Tautologie.
   Kontradikce.

4. Tvrzení `\neg (A \vee \neg A)` je:

   Splnitelné.
   Kontradikce.
   Tautologie.

5. Tvrzení `\neg (P \wedge Q) \Rightarrow (\neg P \vee \neg Q)` je:

   Splnitelné.
   Kontradikce.
   Tautologie.

6. Tvrzení `((A \Rightarrow B) \Rightarrow B) \Rightarrow B` je:

   Splnitelné.
   Kontradikce.
   Tautologie.

7. Tvrzení `((A \Rightarrow B) \Rightarrow A) \Rightarrow A` je:

   Splnitelné.
   Tautologie.
   Kontradikce.