-
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
기존양자
'기초수학 > Mt computer science' 카테고리의 다른 글
MIT computer science 1.4.1~ 1.4.4 (0) 2019.12.29 Mit computer Science Lec 1.3.1 ~ 1.3.3 (0) 2019.12.29 Mit computer Science Lec 1. ~ 1.2.3 (0) 2019.12.27