Just For Fun Quiz / Tautology, Contradiction, or Contingent

Random Just For Fun or Logic Quiz

Can you determine whether each statement is a Tautology (always true), a Contradiction (always false), or Contingent (can be either true or false)?

Quiz not verified by Sporcle

How to PlayForced OrderWrong Answers
Also try: Tables of Truth
Each letter represents a statement that can be true or false. Statements can be connected with binary conjunctions. They are: • (this stands for AND. A•B is true when A and B are both true, otherwise A•B is false). v (this stands for OR. AvB is false when both A and B are false, otherwise AvB is true). ~ (this stands for NOT. ~A is false when A is true, and is true when A is false). ⊃ (IF-THEN. A⊃B stands for IF A, THEN B. A⊃B is false when A is true and B is false. Otherwise A⊃B is true). ≡ (stands for IF AND ONLY IF. A≡B is true when A and B are both true, or if they are both false. A≡B is false when one is true and the other is false).An example of a tautology is Av~A. (Example in words [Let A be the statement "It's raining"]: It's raining or it's not raining). An example of a contradiction is A•~A (example: It's raining and not raining).
Score 0/12 Timer 12:00
StatementTaut(T) Contradiction(F) Conting(C)
(A v B) • (A • B)
(A v B) • (~A • ~B)
(A ⊃ B) v A
A ≡ ~A
(A • ~A) v (A ≡ B)
A ⊃ (A • B)
~(A • B) ≡ (~A v ~B)
~(A ⊃ B) ⊃ (A • ~B)
(B ⊃ A) • ~B
((A v ~B) • (A v B)) • ~A
~(A • ~A) • (B v ~B)
((A ⊃ B) • (B ⊃ C)) v ~B

You're not logged in!

Compare scores with friends on all Sporcle quizzes.
Sign Up with Email
Log In

You Might Also Like...

Show Comments


Top Quizzes Today

Score Distribution

Your Account Isn't Verified!

In order to create a playlist on Sporcle, you need to verify the email address you used during registration. Go to your Sporcle Settings to finish the process.