Quiz Content

not completed
. Refer to the following formula: (∀x)[Ax ⊃ (Bx ∨ Cx)]
Which wffs below are in the scope of '(∀x)'?

not completed
. Refer to the following formula: (∀x)[Ax ⊃ (Bx ∨ Cx)]
Which variables are bound by the '(∀x)'?

not completed
. Refer to the following formula: (∀x)[Ax ⊃ (Bx ∨ Cx)]
Is the formula open or closed?

not completed
. Refer to the following formula: (∀x)[Ax ⊃ (Bx ∨ Cx)]
Which is the main operator of the formula?

not completed
. Refer to the following formula: (∃x)[(Dx • Ex) ∨ (Dx • ~Ex)]
Which wffs below are in the scope of '(∃x)'?

not completed
. Refer to the following formula: (∃x)[(Dx • Ex) ∨ (Dx • ~Ex)]
Which variables are bound by the '(∃x)'?

not completed
. Refer to the following formula: (∃x)[(Dx • Ex) ∨ (Dx • ~Ex)]
Is the formula open or closed?

not completed
. Refer to the following formula: (∃x)[(Dx • Ex) ∨ (Dx • ~Ex)]
Which is the main operator of the formula?

not completed
. Refer to the following formula: (∀x)[(Fx ∨ Gx) ≡ (Hx • ~Ix)]
Which wffs below are in the scope of '(∀x)'?

not completed
. Refer to the following formula: (∀x)[(Fx ∨ Gx) ≡ (Hx • ~Ix)]
Which variables are bound by the '(∀x)'?

not completed
. Refer to the following formula: (∀x)[(Fx ∨ Gx) ≡ (Hx • ~Ix)]
Is the formula open or closed?

not completed
. Refer to the following formula: (∀x)[(Fx ∨ Gx) ≡ (Hx • ~Ix)]
Which is the main operator of the formula?

not completed
. Refer to the following formula: ~(∃x)(Jx • ~Kx) ∨ ~(∀y)[Jy ⊃ (Ky • ~Lx)]
Which wffs below are not in the scope of '(∃x)'?

not completed
. Refer to the following formula: ~(∃x)(Jx • ~Kx) ∨ ~(∀y)[Jy ⊃ (Ky • ~Lx)]
Which variables are bound by the '(∃x)'?

not completed
. Refer to the following formula: ~(∃x)(Jx • ~Kx) ∨ ~(∀y)[Jy ⊃ (Ky • ~Lx)]
Is the formula open or closed?

not completed
. Refer to the following formula: ~(∃x)(Jx • ~Kx) ∨ ~(∀y)[Jy ⊃ (Ky • ~Lx)]
Which is the main operator of the formula?

not completed
. Refer to the following formula: (∀x)(Mx ∨ Nx) ⊃ (∃y)[My • (Oy • Py)]
Which wffs below are not in the scope of '(∃y)'?

not completed
. Refer to the following formula: (∀x)(Mx ∨ Nx) ⊃ (∃y)[My • (Oy • Py)]
Which variables are bound by the '(∀x)'?

not completed
. Refer to the following formula: (∀x)(Mx ∨ Nx) ⊃ (∃y)[My • (Oy • Py)]
Is the formula open or closed?

not completed
. Refer to the following formula: (∀x)(Mx ∨ Nx) ⊃ (∃y)[My • (Oy • Py)]
Which is the main operator of the formula?

Back to top