Lecture 03 First-Order Predicate Logic
Lecture 03 First-Order Predicate Logic. Topics Syntax Formal Semantics Denotational Semantics Formal Inference Resolution. Syntax. Atomic Sentence Predicate(term 1 , term 2 , …, term n ) Term Constant Variable Function Predicate must be constant Classmate(Jack, x, Brother(Allen))
300 views • 18 slides