[이산수학] 술어와 한정기호

애써 배운걸 까먹을까봐 그러기 전에 미리 정리해놓은 이산수학(discrete mathematics) 노트입니다. 미리 알아둘 것 논리 연산 법칙과 명제의 동치 간단한 논리 연산 (복잡한 명제를 단순한 명제로 바꾸는 연습) 이번에는 더 논리적으로 복잡한 문장들을 수학적으로, 그리고 논리적으로 표현하고 다루기 위한 이산수학적인 도구인 술어(predicate)와 한정기호(quantifier)를 알아봅시다. 단순히 무언가를 서술해준다는 사전적인 뜻을 가지고 있는 술어(predicate)에서 핵심이 되는 부분은 바로 변수에 따라 결정되는 어떠한 참/거짓을 가릴 수 있는 수학적인 문장이라는 내용입니다. Predicates in discrete mathematics are expressions that can be evaluated to either true or false, depending on the values of one or more variables. 이는 술어는 반드시 서술을 하고...