[이산수학] 논리


[이산수학] 논리

명제 명제(Proposition) : 참과 거짓을 구별할 수 있는 문장이나 수학적 식 명제의 진리값(truth value) 참(true), T : 명제가 타당한 경우 거짓(False), F : 명제가 타당하지 않은 경우 6은 2의 배수다 : 명제 (진리값이 참) 2, 3, 6은 소수이다 : 거짓 (F) 논리 연산 합성명제(compund proposition) 하나 이상의 명제와 논리연산자 그리고 괄호로 이루어진 명제 1) 논리합(disjunction; or, ᵛ) 둘 중 하나라도 참이면 진리값은 참이다. 2) 논리곱(conjunction: and, ^) 둘 중 하나라도 거짓이면 진리값은 거짓이다. 3) 부정(negarion; ~, ㄱ) 1항 연산, not 4) 배타적 논리합(exclusive or.....


원문링크 : [이산수학] 논리