술어2 이산수학 1.4 Predicates and Quantifiers 술어와 한정 기호(3) chapter 1. The Foundations: Logic and Proofs 1.4 Predicates and Quantifiers Equivalences in Predicate Logic predicates(술어)와 quantifiers(한정자)가 포함된 문장은 동일한 진리 값을 갖는 경우에만 논리적으로 동일하다. - 이 statements(진술)로 대체되는 모든 predicate에 대하여 - 표현식의 변수에 사용되는 담론의 모든 domain에 대해 표기법 S ≡ T: S와 T가 논리적으로 동일하다. Example: ∀x¬¬S(x) ≡ ∀xS(x) Thinking about Quantifiers as Conjunctions and Disjunctions Conjunctions: ∧ Disjuncti.. 2021. 9. 24. 이산수학 1.4 Predicates and Quantifiers 술어와 한정 기호(1) chapter 1. The Foundations: Logic and Proofs 1.4 Predicates and Quantifiers Propositional Logic Not Enough "모든 사람은 죽는다." "소크라테스는 남자다." ☞ "소크라테스는 죽는다" 명제 논리(Propositional Logic)로는 이러한 추론을 나타낼 수 없다. 따라서 사물, 그 속성, 그리고 그 관계에 대해 말하는 언어가 따로 필요하다. Introducing Predicate Logic 술어논리 도입 술어 논리는 다음과 같은 새로운 기능을 사용한다. 변수(Variables): x, y, z 술어(Predicates): P(x), M(x) ☞술어논리에서는 변수가 들어간 형태를 허용. 명제 논리의 논리식은 변수를 포함.. 2021. 9. 24. 이전 1 다음 반응형
