체르타 [821348] · MS 2018 · 쪽지

2018-11-17 12:15:37
조회수 441

P 랑 ~P가 아니어서 틀리는건가

게시글 주소: https://orbi.kr/00019214290

본문 명시상 완결성의 정의가


어느 세계에서든 임의의 명제 P에 대해 “P이거나 ~P이다.”라는 배중률이 성립한다. 즉 P와 ~P 중 하나는 반드시 참이라는 것이다.


 근데 제시된건 ~P 그 자체가 아니잖슴. 

평가원이라면 이러면서 정정안할거 같은데.

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.