Skip to main content
United States
Jump To
Support
Register or Log In
Support
Register or Log In
Instructors
Browse Products
Getting Started
Students
Browse Products
Getting Started
Return to Logic 4e Student Resources
Chapter 9, Level 2 Self Quiz: F1
Quiz Content
*
not completed
.
Choose the correct translation of the following statement.
All cats are mammals. ( Cx: x is a cat; Mx: x is a mammal. )
( x ) ( Cx ⊃ Mx )
correct
incorrect
( x ) ( Cx • Mx )
correct
incorrect
( ∃x ) ( Cx ⊃ Mx )
correct
incorrect
( ∃x ) ( Cx • Mx )
correct
incorrect
*
not completed
.
Choose the correct translation of the following statement.
Some, but not all, cats are hairless. ( Cx: x is a cat; Hx: x is a hairless. )
( ∃x ) ( Cx • Hx • ( x ) ( Cx ⊃ Hx )
correct
incorrect
( ∃x ) ( Cx • Hx ) • ~ ( ∃x ) ( Cx ⊃ Hx )
correct
incorrect
( ∃x ) ( Cx • Hx ) • ~ ( x ) ( Cx ⊃ Hx )
correct
incorrect
( ∃x ) ( Cx • Hx ) ⊃ ~ ( x ) ( Cx ⊃ Hx )
correct
incorrect
*
not completed
.
Choose the correct translation of the following statement.
If any dog is a mammal, then all collies are. ( Cx: x is a cat; Mx: x is a mammal. )
( x ) ( Dx • Mx ) ⊃ ( x ) ( Cx ⊃ Mx )
correct
incorrect
( ∃x ) ( Dx • Mx ) • ( x ) ( Cx ⊃ Mx )
correct
incorrect
( ∃x ) ( Dx • Mx ) ⊃ ( x ) ( Cx ⊃ Mx )
correct
incorrect
( x ) ( Dx • Mx ) • ( x ) ( Cx ⊃ Mx )
correct
incorrect
*
not completed
.
Choose the correct translation of the following statement.
If a politician can spot a liar, then he or she is a liar. ( Px: x is a politician; Sx: x is a liar-spotter; Lx: x is a liar. )
( x ) [ ( Px • Sx ) • Lx ]
correct
incorrect
( x ) [ ( Px • Sx ) ⊃ ( x )Lx ]
correct
incorrect
( ∃x ) [ ( Px • Sx ) ⊃ Lx ]
correct
incorrect
( x ) [ ( Px • Sx ) ⊃ Lx ]
correct
incorrect
*
not completed
.
Choose the correct translation of the following statement.
Cats are friendly, but politicians are not. ( Cx: x is a cat; Fx: x is friendly; Px: x is a politician. )
( x ) ( Fx ⊃ Cx ) • ( x ) ( Px ⊃ ~ Fx )
correct
incorrect
( x ) ( Fx ⊃ Cx ) ⊃ ( x ) ( Px ⊃ ~ Fx )
correct
incorrect
( ∃x ) ( Cx ⊃ Fx ) • ( x ) ( Px ⊃ ~ Fx )
correct
incorrect
( x ) ( Cx ⊃ Fx ) • ( x ) ( Px ⊃ ~ Fx )
correct
incorrect
*
not completed
.
Choose the correct translation of the following statement.
If elephants have big ears, then so does Dumbo. ( Ex: x is an elephant; Bx: x has big ears; d; Dumbo. )
( x ) ( Ex • Bx ) ⊃ Bd
correct
incorrect
( x ) ( Ex ⊃ Bx ) ⊃ Bd
correct
incorrect
( x ) ( Ex • Bx ) • Bd
correct
incorrect
( ∃x ) ( Ex • Bx ) ⊃ Bd
correct
incorrect
*
not completed
.
Choose the correct translation of the following statement.
Cats and dogs are friendly if they are loved. ( Cx: x is a cat; Dx: x is a dog; Fx: x is friendly; Lx: x is loved. )
( x ) [ ( Cx v Dx ) ⊃ ( Lx ⊃ Fx ) ]
correct
incorrect
( ∃x ) [ ( Cx v Dx ) ⊃ ( Fx ⊃ Lx ) ]
correct
incorrect
( x ) [ ( Cx ⊃ Dx ) ⊃ ( Fx ⊃ Lx ) ]
correct
incorrect
( ∃x ) [ ( Cx v Dx ) ∨ ( Fx ⊃ Lx ) ]
correct
incorrect
*
not completed
.
Choose the correct translation of the following statement.
No vegan that isn't an herbivore is honest. ( Vx: x is a vegan; Rx: x is an herbivore; Hx: x is honest. )
( ∃x )[( Vx • ~ Rx ) • Hx]
correct
incorrect
( ∃x ) [( ~ Vx • ~ Rx ) • Hx]
correct
incorrect
~ ( ∃x ) [( ~ Vx • ~ Rx ) • Hx]
correct
incorrect
~ ( ∃x ) [( Vx • ~ Rx ) • Hx]
correct
incorrect
*
not completed
.
Choose the correct translation of the following statement.
All level twelve vegans are honest. ( Vx: x is a vegan; Lx: x is level twelve; Hx: x is honest. )
( ∃x )[ ( Vx • Lx ) ⊃ Hx ]
correct
incorrect
( x )[ ( Vx • Lx ) ⊃ ⊃ xHx ]
correct
incorrect
( x )[ ( Vx • Lx ) ⊃ Hx ]
correct
incorrect
( x )[ ( Vx ⊃ Lx ) ⊃ Hx ]
correct
incorrect
*
not completed
.
Choose the correct translation of the following statement.
Dumbo is a strong vegan. ( Sx: x is strong; Vx: x is a vegan; d: Dumbo. )
Sd v Vd
correct
incorrect
( x )Sd • Vd
correct
incorrect
Sd • Vd
correct
incorrect
Sd ⊃ Vd
correct
incorrect
Exit Quiz
Next Question
Review all Questions
Submit Quiz
Reset
Are you sure?
You have some unanswered questions. Do you really want to submit?
Back to top
Printed from , all rights reserved. © Oxford University Press, 2024
Select your Country