Just For Fun Quiz / Tautology, Contradiction, or Contingent

Random Just For Fun or This or That 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
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
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
OR
Log In

You Might Also Like...

Show Comments

Extras

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.