Science Quiz / Logic Axioms given Modus Ponens

Random Science or Math Quiz

Can you name the following Axioms?

Quiz not verified by Sporcle

How to Play
Challenge
Share
Tweet
Score 0/9 Timer 10:00
Axiom SchemaName
φ→(χ→φ)
(φ∧χ)→φ OR (φ∧χ)→χ
(φ→ψ)→((χ→ψ)→(φ∨χ→ψ))
ψ∨¬ψ
φ→(φ∨χ) OR χ→(φ∨χ)
φ→(¬φ→χ)
(φ→(χ→ψ))→((φ→χ)→(φ→ψ))
(φ→χ)→((φ→¬χ)→¬φ)
φ→(χ→(φ∧χ))

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.