저 간단한 질문 하나만 해도 되나요?

[익명(123.100)]

어떠한 두 가지의 가능성들 중 하나만 있다고 보고,
(¬M ∧ I)(x) ∨ (M ∧ ¬I)(x)
우연을 제외하면(¬C), 귀납에서 연역으로 바뀌는 건가요?

[ㅁㄴㅇㄹ(122.38)]

혹시 (x)가 보편양화사 인가요?

[익명(123.100)]

네, 보편양화사를 x로 잡고 시작했습니다

[ㅁㄴㅇㄹ(122.38)]

그럼 표준 방식으로, (x)(¬Mx ∧ Ix) ∨ (x)(Mx ∧ ¬Ix)를 표현하려 하신 건가요?

[ㅁㅁ(111.239)]

와 표기방법이 표준이 아니니까 너무 못알아먹겠다..