MIT computer science 1.5.1

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

기존양자