# 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)?

#### by vikZ Quiz not verified by Sporcle

plays

Also try: Tables of Truth
Challenge
Share
Tweet
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
(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.
OR

### 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.