Section 4.03 Self Quiz

* 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