a일때 b는 c이다 대우명제가 어떻게 되나요?

[익명(59.21)]

제곧내

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

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

[익명(1.211)]

??? a->(q) 니까 ~(q) ->~a이지 q:B는C이다 전체문장의 대우니까 괄호안의 문장은 포함안되는거아님? 심지어 q는 명제논리로 표현안되는데?

[익명(1.219)]

B는 C인 것이 아니라면 A가 아니다