[이산수학] 한정기호를 사용한 명제의 추론 규칙

미리 알아둘 것 술어(predicate)와 한정기호(quantifier) 명제 논리에 대한 추론 규칙 이번에는 명제 논리에 대한 추론 규칙에서 한발 더 나아가서 한정기호(quantifier)를 사용한 명제의 추론 규칙에 대해 알아봅시다. 이는 한정 기호를 통해 어떠한 명제가 성립하거나 그렇지 않음을 통해 어떠한 추론 하는 방법으로, 그 개념 자체는 직관적이기 때문에 이해하는데 큰 어려움은 없습니다. 이번에 소개할 규칙은 총 4가지입니다. 전칭 예시화(universal instantiation) ∀xP(x) (→ 모든 x에 대하여 명제 P(x)가 성립함)이 주어졌을 때 정의역 x에 속하는 임의의 구성원(arbitrary member) c에 대하여, P(c)가 참이라는 것 이는 매우 당연합니다. 정의역 내 모든 원소에 대해 어떠한 임의의 명제 P(x)가 참이 된다는 것은, 정의역 내 무작위로 한 원소 c를 골라 그 원소를 대입한 명제 P(c)는 반드시 참일 수밖에 없습니다. ex) "모...