논리의 기초컴퓨터 프로그램도 0과 1을 계산하는 회로들이 복잡하게 ㅇ얽혀 결과를 내어놓는 논리 기계의 일종이라 할 수 있다. 프로그램을 한 줄 작성할 때마다 우리는 이미 명제나 집합에 관련된 수학을 계산하고 있는 셈이다. 수학의 토대인 논리의 기초를 공부해본다. 명제와 논리연산명제란 참인지 거짓인지 판별할 수 있는 문장이나 수식을 말한다. 다음은 참인지 거짓인지를 판별할 수 있으므로 명제다.달은 지구의 위성이다. (참 명제)고래는 어류다. (거짓 명제)다음은 참인지 거짓인지 판별할 수 없으므로 명제가 아니다.수학은 어렵다. ('어렵다'는 것은 주관적인 개념)x² - x - 1 = 0 (x값이 정해지지 않았으므로)명제는 대게 p, q, r 같은 영문자로 표시된다. 명제의 참과거짓을 그 명제의 진리값이라 하..