set (1) 썸네일형 리스트형 Predicate Logic & Set A formal proof of a conclusion C 알고 있는 premises들로 결론을 추론해내는 것 P1 -> P2 -> ... -> C Inference Rules for Quantifiers Universal instantiation => Universal Quantifier를 임의의 원소 c로 바꾸는 것 Universal Generalization => 임의의 원소 c를 Universal Quantifier로 바꾸는 것 Existential instantiation => Existential Quantifier를 특정한 원소 c로 바꾸는 것 Existential Generalization => 특정한 원소 c를 Existential Quantifier로 바꾸는 것 해당 기법들을 통해서 q.. 이전 1 다음