[이산수학] 술어와 한정자

술어 논리 Predicate Logic

P 가 술어이고, x는 주제에 해당한다. P(x)로 표현.

 

명제 함수 Propositional Function

 

한정자 Quantifier

모두에게 해당되는 All

 

존재하는 Exist

 

 

한정자의 부정

All이나 Exist에 부정을 풀면 A->E, E->A로 바뀌고, 뒤에 술어에 부정이 붙는다.