쿠쿠리 [1310649] · MS 2024 · 쪽지

2024-12-15 22:04:22
조회수 511

나는 드디어 초월했다

게시글 주소: https://old.orbi.kr/00070613062

∀x : 모든 x에 대하여


T(x) : x가 참이다


∃x : 어떤 x가 존재한다


∀xT(x) : 모든것이 참이다


부정형은


∃x¬T(x) : 거짓인 것이 존재한다


부정형은 모순임 왜냐하면 "거짓"인것은 존재하지 않기 때문


따라서 원명제인 


∀xT(x) : 모든것이 참이다


가 참

0 XDK (+0)

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