Skip to main content
United States
Jump To
Register or Log In
Register or Log In
Instructors
Browse Products
Getting Started
Support
Students
Browse Products
Getting Started
Support
Back to top
Return to Introduction to Formal Logic Student Resources
Section 4.03 Self Quiz
Quiz Content
*
not completed
.
Refer to the following formula: (∀x)[Ax ⊃ (Bx ∨ Cx)]
Which wffs below are in the scope of '(∀x)'?
Ax
correct
incorrect
Bx
correct
incorrect
Bx ∨ Cx
correct
incorrect
Ax ⊃ (Bx ∨ Cx)
correct
incorrect
All of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)[Ax ⊃ (Bx ∨ Cx)]
Which variables are bound by the '(∀x)'?
The x that follows A.
correct
incorrect
The x that follows B.
correct
incorrect
The x that follows C.
correct
incorrect
All of the above.
correct
incorrect
None of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)[Ax ⊃ (Bx ∨ Cx)]
Is the formula open or closed?
Open
correct
incorrect
Closed
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)[Ax ⊃ (Bx ∨ Cx)]
Which is the main operator of the formula?
∨
correct
incorrect
⊃
correct
incorrect
∀x
correct
incorrect
None of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∃x)[(Dx • Ex) ∨ (Dx • ~Ex)]
Which wffs below are in the scope of '(∃x)'?
Dx • Ex
correct
incorrect
Dx • ~Ex
correct
incorrect
(Dx • Ex) ∨ (Dx • ~Ex)
correct
incorrect
All of the above.
correct
incorrect
None of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∃x)[(Dx • Ex) ∨ (Dx • ~Ex)]
Which variables are bound by the '(∃x)'?
The x that follows the D's.
correct
incorrect
The x that follows the first E.
correct
incorrect
The x that follows ~E.
correct
incorrect
All of the above.
correct
incorrect
None of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∃x)[(Dx • Ex) ∨ (Dx • ~Ex)]
Is the formula open or closed?
Open
correct
incorrect
Closed
correct
incorrect
*
not completed
.
Refer to the following formula: (∃x)[(Dx • Ex) ∨ (Dx • ~Ex)]
Which is the main operator of the formula?
∨
correct
incorrect
•
correct
incorrect
~
correct
incorrect
∃x
correct
incorrect
None of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)[(Fx ∨ Gx) ≡ (Hx • ~Ix)]
Which wffs below are in the scope of '(∀x)'?
Ix
correct
incorrect
~Ix
correct
incorrect
Hx • ~Ix
correct
incorrect
(Fx ∨ Gx) ≡ (Hx • ~Ix)
correct
incorrect
All of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)[(Fx ∨ Gx) ≡ (Hx • ~Ix)]
Which variables are bound by the '(∀x)'?
That x that follows the F.
correct
incorrect
That x that follows the G.
correct
incorrect
That x that follows the H.
correct
incorrect
That x that follows the I.
correct
incorrect
All of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)[(Fx ∨ Gx) ≡ (Hx • ~Ix)]
Is the formula open or closed?
Open
correct
incorrect
Closed
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)[(Fx ∨ Gx) ≡ (Hx • ~Ix)]
Which is the main operator of the formula?
∀x
correct
incorrect
∨
correct
incorrect
~
correct
incorrect
≡
correct
incorrect
None of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: ~(∃x)(Jx • ~Kx) ∨ ~(∀y)[Jy ⊃ (Ky • ~Lx)]
Which wffs below are not in the scope of '(∃x)'?
Jx
correct
incorrect
~Kx
correct
incorrect
Jx • ~Kx
correct
incorrect
Ky
correct
incorrect
All of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: ~(∃x)(Jx • ~Kx) ∨ ~(∀y)[Jy ⊃ (Ky • ~Lx)]
Which variables are bound by the '(∃x)'?
That y that follows the J.
correct
incorrect
That y that follows the K.
correct
incorrect
That x that follows the L.
correct
incorrect
All of the above.
correct
incorrect
None of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: ~(∃x)(Jx • ~Kx) ∨ ~(∀y)[Jy ⊃ (Ky • ~Lx)]
Is the formula open or closed?
Open
correct
incorrect
Closed
correct
incorrect
*
not completed
.
Refer to the following formula: ~(∃x)(Jx • ~Kx) ∨ ~(∀y)[Jy ⊃ (Ky • ~Lx)]
Which is the main operator of the formula?
~
correct
incorrect
∨
correct
incorrect
•
correct
incorrect
⊃
correct
incorrect
∃x
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)(Mx ∨ Nx) ⊃ (∃y)[My • (Oy • Py)]
Which wffs below are not in the scope of '(∃y)'?
Mx
correct
incorrect
Nx
correct
incorrect
Mx ∨ Nx
correct
incorrect
None of the above.
correct
incorrect
All of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)(Mx ∨ Nx) ⊃ (∃y)[My • (Oy • Py)]
Which variables are bound by the '(∀x)'?
That x that follows M and the x that follows N.
correct
incorrect
The y that follows M.
correct
incorrect
The y that follows O.
correct
incorrect
All of the above.
correct
incorrect
None of the above.
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)(Mx ∨ Nx) ⊃ (∃y)[My • (Oy • Py)]
Is the formula open or closed?
Open
correct
incorrect
Closed
correct
incorrect
*
not completed
.
Refer to the following formula: (∀x)(Mx ∨ Nx) ⊃ (∃y)[My • (Oy • Py)]
Which is the main operator of the formula?
∨
correct
incorrect
⊃
correct
incorrect
•
correct
incorrect
∀x
correct
incorrect
∃y
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?
Printed from , all rights reserved. © Oxford University Press, 2023
Select your Country
×