Propositional_Logic 썸네일형 리스트형 1.1 Propositional Logic - 00 Proposition Logic 명제(proposition)는 참/거짓을 따질 수 있는 문장이다. 참과 거짓을 둘 다 가지고 있거나 참과 거짓 사이의 값을 가질 수 없다. 예를 들어 '1+1=2' 라거나 '북극곰은 남극에 산다' 등의 문장이 그 문장이 참이든 거짓이든 간에 명제이다. 반면 '거기 누구야?', '베토벤은 음악의 천재이다'처럼 진리로 받아들일지라도 명제로 받아들이지 않는 문장이 있다. 영국의 수학자, 논리학자 Boole이 만든 Boolean connectives로 참/거짓을 따질 수 있다. 여러 언어에서 나오는 Boole변수가 이 사람으로부터 유래된 것이다. 전자회로를 설계하거나 프로그램의 상태를 표시할때 등 컴퓨터 과학 분야에서도 이 기법을 사용한다. 더보기 이전 1 다음
