어떤F는 G이다

[익명(125.178)]

1. 이 문장이랑 F이면서 G인 것이 적어도 하나는 존재한다 이거랑 왜 같은 문장인지 설명 좀

2. (Ex)(Fx->Gx)랑 (Ex)(Fx & Gx) 둘의 차이가 전자는 F가 전부 거짓이여도 참이고, 후자는 F가 참인게 적어도 하나는 있어야 하는게  차이점이라고 이해해도 ㄱㅊ나요?

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(182.210)]

줄바꿈 안되네 ㅅㅂ

[익명(182.210)]

Ex(Fx->Gx) // (F1->G1)v(F2->G2)v(F3->G3)v...v(Fn->Gn) // (~F1vG1)v(~F2vG2)v(~F3vG3)v...v(~FnvGn) // (~F1v~F2v~F3v...v~Fn)v(G1vG2vG3v...Gn) // Ex(~Fx)vExGx // F가 하나만 거짓이어도 참임ㅇㅇ

[익명(182.210)]

어떤 x가 F가 아님이 전자가 참이기 위한 충분조건이고 어떤 x가 F임이 후자가 참이기 위한 필요조건임