(a) (x)(Hx ⊃ Gx)
(x)(Fx ⊃ Gx) ∴ (∃x)(Fx•Hx)
(b) (x)(Fx∨Gx)
∴ (x)Fx∨(x)Gx
두개다요?! 두개다틀렸어요?!?!?
존재양화를 씌울 수 있는 이유가 뭔데? 전건에 해당하는 x가 아예 존재 안할 수도 있잖음 - dc App
아래는 모르겠으면 좀 노답인데... 예를들어 f는 되는데 g는 아닌 애가 존재하고 또 f는 안되는데 g는 되는 애가 둘 다 있으면 위는 되고 아래는 안되잖음 - dc App
존재양화를 씌울 수 있는 이유가 뭔데? 전건에 해당하는 x가 아예 존재 안할 수도 있잖음 - dc App
아래는 모르겠으면 좀 노답인데... 예를들어 f는 되는데 g는 아닌 애가 존재하고 또 f는 안되는데 g는 되는 애가 둘 다 있으면 위는 되고 아래는 안되잖음 - dc App