Fx・・・xはトマトである Gx・・・xは野菜である Hxy・・・xはyで作られたサラダである から、トマトサラダは野菜サラダである、は ∀x(∃y(Hxy∧Fy)⊃∃y(Hxy∧Gy)) となる よって、トマトが野菜であるならトマトサラダは野菜サラダである、は ∀x(Fx⊃Gx)⊃∀x(∃y(Hx…