[이산수학] 논리

명제

참과 거짓을 구분 할 수 있는 문장 또는 수식

구분 할 수 있다면 명제이고, 진리값(참/거짓)도 알 수 있음

 

논리연산

논리연산 (논리합, 논리곱, 부정, 배타적 논리합)

합성명제

조건명제 [ p -> q ]

쌍조건명제 [ p <-> q ]

논리적 동치 [ p ≡ q  ]

항진명제와 모순명제

 

술어논리

명제함수 ? 변수의 값에 의해 함수의 진리값이 결정되는 문장이나 식

한정자

전체한정자(∀) -> "모든(임의의)"을 의미

존재한정자(∃) -> "존재한다"를 의미

 

추론

참(T)이라고 알려져 있는 사실로부터 논리적인 과정을 거쳐 참(T)인 사실들을 이끌어내는 과정을 추론이라고 함

전제를 참(T)이라고 가정했을 때, 결론이 항상 참(T)인 추론을 유효추론이라고 함