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

2025-03-21 21:43:14
조회수 45

결국 모든과목이 명제논리로 통폐합될것임

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

명제논리


몇개되지 않는 규칙


무모순이며 참이면 증명가능한것(완전성)


모든논리를 구성가능한 논리, 그것이 명제논리


왜냐?


NAND(명제논리의 일종)로 모든논리를 구성할수있고


수학자들은 NAND로 이루어진 컴퓨터의 프로그램으로 1차논리 및 고차논리를 나타낼수 있기때문


결국 모든 과목의 모든 정보와 논리는 명제논리로 구성가능함


그때가되면


AND, OR, NOT, IF~THEN~


이것만으로 모든 논리가 구현될것이며


수험자들은 알아낸 명제를 태블릿에 입력하여 명제를 연결하는 조합은 태블릿이 대신하게 될것이다

0 XDK (+0)

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


  • 첫번째 댓글의 주인공이 되어보세요.