양화사를 빼놓고 생각해서 그런 거였네 ㅅㅂ

물이 있고 탈 물질이 있고 발화점을 넘으면 불이 난다.
라고 하면 안 되고

"(모든 x에 대하여) x에 물이 있고 탈 물질이 있고 발화점을 넘으면 그 x에 불이 난다." 라고 해야 했음

즉, 간추리자면,
∀x((물x&탈x&발x)->불x)로 표현해야 함

그 명제가 ∀x((물x->불x)v(탈x->불x)v(발x->불x))랑 논리적 동치인 거고,

내가 틀렸다고 생각한 명제는
∀x(물x->불x)랑
∀x(탈x->불x)랑
∀x(발x->불x)였던 거고

그래서 ∀x(물x->불x)v∀x(탈x->불x)v∀x(발x->불x)도 거짓인데,

이 명제가 거짓임이 ∀x((물x->불x)v(탈x->불x)v(발x->불x))의 진리치에 영향을 주지 않음.

ㅅㅂ 원인 해결