Section 2.2 Self Quiz

* not completed

. (K ≡ I ~J)

It's a wff. The main operator is the ≡. correct incorrect

It's a wff. The main operator is the ~ correct incorrect

It's a wff. It has no main operator. correct incorrect

Not a wff correct incorrect

* not completed

. A ∨ (~B ⊃ D)

It's a wff. The main operator is the ∨. correct incorrect

It's a wff. The main operator is the ~. correct incorrect

It's a wff. The main operator is the ⊃ correct incorrect

Not a wff correct incorrect

* not completed

. [(P ≡ Q) ∨ ~P]

It's a wff. The main operator is the ≡. correct incorrect

It's a wff. The main operator is the ∨. correct incorrect

It's a wff. The main operator is the ~. correct incorrect

Not a wff correct incorrect

* not completed

. F ⊃ ~G ~H

It's a wff. The main operator is the ⊃. correct incorrect

It's a wff. The main operator is the first ~, reading left to right. correct incorrect

It's a wff. The main operator is the second ~, reading left to right. correct incorrect

Not a wff correct incorrect

* not completed

. ~[D ≡ (E • F)]

It's a wff. The main operator is the ~ correct incorrect

It's a wff. The main operator is the ≡ correct incorrect

It's a wff. The main operator is the • correct incorrect

Not a wff correct incorrect

* not completed

. (Z ≡ A) ⊃ ~(X ≡ Y)

It's a wff. The main operator is the first ≡, reading left to right. correct incorrect

It's a wff. The main operator is the ⊃. correct incorrect

It's a wff. The main operator is the ~ correct incorrect

It's a wff. The main operator is the second ≡, reading left to right. correct incorrect

Not a wff correct incorrect

* not completed

. [(~A ⊃ B) • ~A] ⊃ B

It's a wff. The main operator is the first ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the •. correct incorrect

It's a wff. The main operator is the second ~, reading left to right. correct incorrect

It's a wff. The main operator is the second ⊃, reading left to right. correct incorrect

Not a wff correct incorrect

* not completed

. (X ∨ Y) ≡ [(Y ∨ Z) • (X ∨ Z)]

It's a wff. The main operator is the first ∨, reading left to right. correct incorrect

It's a wff. The main operator is the ≡. correct incorrect

It's a wff. The main operator is the second ∨, reading left to right. correct incorrect

It's a wff. The main operator is the • correct incorrect

Not a wff correct incorrect

* not completed

. {[R ⊃ (~S • ~T)] ⊃ [T ∨ (U ⊃ R)]} • (T ⊃ ~S)

It's a wff. The main operator is the first ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the second ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the ∨. correct incorrect

It's a wff. The main operator is the second •, reading left to right. correct incorrect

Not a wff correct incorrect

* not completed

. ~[(U • V) ∨ (W ⊃ X)] ⊃ [(X ≡ Y) • ~Z]

It's a wff. The main operator is the first ~, reading left to right. correct incorrect

It's a wff. The main operator is the ∨. correct incorrect

It's a wff. The main operator is the second ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the ≡ correct incorrect

Not a wff correct incorrect

* not completed

. ~A ∨ (B • D)

It's a wff. The main operator is the ~. correct incorrect

It's a wff. The main operator is the ∨. correct incorrect

It's a wff. The main operator is the •. correct incorrect

Not a wff correct incorrect

* not completed

. I • E ⊃ ~F

It's a wff. The main operator is the •. correct incorrect

It's a wff. The main operator is the ⊃. correct incorrect

It's a wff. The main operator is the ~. correct incorrect

Not a wff correct incorrect

* not completed

. {~R ⊃ [(Q • P) ⊃ S]}

It's a wff. The main operator is the ~. correct incorrect

It's a wff. The main operator is the first ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the • correct incorrect

It's a wff. The main operator is the second ⊃, reading left to right. correct incorrect

Not a wff correct incorrect

* not completed

. [(P ≡ Q) • ~Q] ⊃ (P ⊃ R)

It's a wff. The main operator is the ≡. correct incorrect

It's a wff. The main operator is the •. correct incorrect

It's a wff. The main operator is the ~. correct incorrect

It's a wff. The main operator is the first ⊃, reading left to right. correct incorrect

Not a wff correct incorrect

* not completed

. [A ∨ B • C] ⊃ (A ∨ C)

It's a wff. The main operator is the first ∨, reading left to right. correct incorrect

It's a wff. The main operator is the •. correct incorrect

It's a wff. The main operator is the ⊃. correct incorrect

It's a wff. The main operator is the second ∨, reading left to right. correct incorrect

Not a wff correct incorrect

* not completed

. P ⊃ (Q ⊃ R) ⊃ [(P • ~R) ⊃ ~Q]

It's a wff. The main operator is the first ∨, reading left to right. correct incorrect

It's a wff. The main operator is the ≡. correct incorrect

It's a wff. The main operator is the second ∨, reading left to right. correct incorrect

It's a wff. The main operator is the • correct incorrect

Not a wff correct incorrect

* not completed

. [(D ⊃ ~E) • (F ⊃ E)] ⊃ [D ⊃ (~F ∨ G)]

It's a wff. The main operator is the first ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the second ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the third ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the fourth ⊃, reading left to right. correct incorrect

Not a wff correct incorrect

* not completed

. ~{[(H ⊃ I) ⊃ ~(I ∨ ~J)] ⊃ (~H ⊃ J)}

It's a wff. The main operator is the first ~, reading left to right. correct incorrect

It's a wff. The main operator is the ≡. correct incorrect

It's a wff. The main operator is the second ∨, reading left to right. correct incorrect

It's a wff. The main operator is the • correct incorrect

Not a wff correct incorrect

* not completed

. ~[(R • S) ⊃ U] ⊃ {{~U ⊃ [R ⊃ (S ⊃ T)]}

It's a wff. The main operator is the first ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the first ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the second ⊃, reading left to right. correct incorrect

It's a wff. The main operator is the third ⊃, reading left to right. correct incorrect

Not a wff correct incorrect

* not completed

. [(W ⊃ X) • (Y ∨ ~X)] ≡ [~(Z ∨ Y) ⊃ ~W]

It's a wff. The main operator is the •. correct incorrect

It's a wff. The main operator is the ≡. correct incorrect

It's a wff. The main operator is the first ~, reading left to right. correct incorrect

It's a wff. The main operator is the second ⊃, reading left to right. correct incorrect

Not a wff correct incorrect