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

2024-12-26 10:33:29
조회수 790

이 논리 평가좀여..

게시글 주소: https://snu.orbi.kr/00070838222

∀x(Ex) : 모든것이 존재한다


부정형은


∃x(¬Ex) : 존재하지 않는것이 존재한다


"존재하지 않는것이 존재한다"가 모순이므로  


부정형이 거짓이다  


따라서 원명제 ∀x(Ex) 가 참이며  


"모든것이 존재한다" 가 참이다


----------------------------------------------------------------------------


∀x : 모든 x에 대하여


T(x) : x가 참이다


∃x : 어떤 x가 존재한다


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


부정형은


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


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


따라서 원명제인 


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


가 참

0 XDK (+0)

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