Beta. Content is under active construction and has not been peer-reviewed. Report errors on
GitHub
.
Disclaimer
Theorem
Path
Curriculum
Paths
Demos
Diagnostic
Search
Quiz Hub
/
Basic Logic and Proof Techniques
Basic Logic and Proof Techniques
3 questions
Difficulty 3-3
View topic
Foundation
0 / 3
3 foundation
Adapts to your performance
1 / 3
foundation (3/10)
compute
The contrapositive of 'If
P
then
Q
' is 'If
¬
Q
then
¬
P
'. What is its logical relationship to the original statement?
Hide and think first
A.
The negation: true iff the original is false
B.
The converse:
P
⇒
Q
is logically identical to
Q
⇒
P
C.
Logically equivalent:
P
⇒
Q
is true iff
¬
Q
⇒
¬
P
is true
D.
An independent statement with no logical relationship to the original
Submit Answer