First-order logic
1차 술어 논리Predicate logicPredicate calculus
(in Logic) 1차 술어 논리.
Articles
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note01.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note02.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note03.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note04.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note05.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note06.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note07.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note08.pdf
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note09.pdf
See also
- Propositional logic