수량자
-
MIT computer science 1.5.1기초수학/Mt computer science 2019. 12. 31. 02:00
lec 1.5.1 Predicate logic(https://www.youtube.com/watch?v=UroprmQHTLc&list=PLUl4u3cNGP60UlabZBeeqOuoLuj_KNphQ&index=13&t=0s) 논리 술어 술어 논리의 판단·명제에 있어서 주사(主辭)에 대하여 긍정 또는 부정의 입언(立言)을 하는 개념. Quantifiers 양자 1.5.1 Predicate logic 논리 술어 술어 논리의 판단·명제에 있어서 주사(主辭)에 대하여 긍정 또는 부정의 입언(立言)을 하는 개념.    Quantifiers 양자 전량자 수량자 Ax 모든 x에 대해 Ey 일부 y에 대해 Existential Quantifier 기존양자