First-order logic
- 2024-09-08
- 별칭: 1차 술어 논리, Predicate logic, Predicate calculus
(in Logics) 1차 술어 논리.
Articles
- cse.buffalo.edu/~xinhe/cse191/Classnotes/note01.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note02.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note03.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note04.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note05.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note06.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note07.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note08.pdf
- https://cse.buffalo.edu/~xinhe/cse191/Classnotes/note09.pdf