반응형
추론
-
[이산수학 - 2강] 명제와 명제 논리 / 술어 논리와 추론Knowledge/Math 2020. 5. 17. 22:40
한국방송통신대학교 이산수학 강의 2강을 듣고 공부한 내용을 정리한 포스팅입니다 2강의 학습목표 명제와 명제가 아닌 것을 구분할 수 있다 다양한 논리연산자의 역할을 이해하고 합성명제의 진리값을 판별할 수 있다 조건명제와 쌍조건명제를 구분하고 진리값을 찾아낼 수 있다 서로 다른 두 명제의 논리적 동치 여부를 판별할 수 있다 추론규칙 또는 벤 다이어그램을 이용하여 타당한 추론을 판별할 수 있다 - 명제 (Proposition) 참과 거짓을 구별할 수 있는 문장이나 수학적 식을 명제라고 한다. 명제가 타당할 경우 명제가 참(true)이라고 하며, 명제가 타당하지 않을 경우 거짓(false)라고 한다. 이 때 참과 거짓을 명제의 진리값이라고 한다. 종류 합성 명제, 조건 명제, 쌍조건 명제, 항진명제, 모순명제 ..