Symbolize the following statement. All green or yellow vegetables are nutritious.

Question

Quizplus · Accepted Answer

- Gx: x is a green vegetable
- Yx: x is a yellow vegetable
- Nx: x is not nutritious
- Vx: x is a vegetable
The statement "All green or yellow vegetables are nutritious" can be symbolized as:
(x){[(Gx ∨ Yx) ∧ Vx] → ~Nx}
Distribute the negation and use logical equivalence to obtain:
(x){[(Gx ∧ Vx) → ~Nx] ∧ [(Yx ∧ Vx) → ~Nx]}
(x){[(Gx ∧ Vx) → ~Nx] ∧ [(Yx ∧ Vx) → ~Nx] ∧ Vx}
Simplify:
(x){[(Gx → ~Nx) ∧ (Vx → ~Nx)] ∧ [(Yx → ~Nx) ∧ (Vx → ~Nx)] ∧ Vx}
(x){[(Gx F1F1F1S1F1F1F10 Yx) • Vx] F1F1F1S1F1F1F10 Nx}, which is equivalent to choice A.

Symbolize the Following Statement ⋁\bigvee⋁ Yx) • Vx] ⊃\supset⊃ Nx} B)(x){[(Gx ⋁\bigvee⋁ Yx) • Vx]

Symbolize the Following Statement $\bigvee$ Yx) • Vx] $\supset$ Nx}
B)(x){[(Gx $\bigvee$ Yx) • Vx]