명제 논리
Motivation & Introduction to Propositional Logic
1.
propositional logic 명제 논리란 무엇인가?
propositional logic은
두 부분으로 구성된다.
1) proposition 명제
2) logic 논리
우선, logic이란 무엇인가?
logic은 추론을 하는 학문 영역이다.
logic을 통해 수학적 명제를 이해하고 추리할 수 있다.
그러한 과정을 통해
수학적 명제를 증명하거나 반증할 수 있다.
logic의 목적은 타당한 주장/증명을 하기 위함이다.
수학적 명제가 참임을 증명해내면, 이를 theorem 정리라고 한다.
propositional logic 명제 논리는 logic의 한 분야에 해당한다.
그렇다면, proposition 명제란 무엇인가?
proposition 명제는 참/거짓 둘 중 하나로 판단할 수 있는 선언적인 문장이다.
예를 들면,
'1 + 1 = 2''물은 100도에서 끓는다''한국의 수도는 서울이다'
는 참인 명제이다.
'1*10 = 5' 와 같이
거짓으로 판단할 수 있는 문장도 명제에 해당한다.
반면, '지금 나갈까?'와 같이 참/거짓으로 판단할 수 없는 문장은
명제가 아니다.
<참고>
Neso Academy
Motivation & Introduction to Propositional Logic - YouTube