(in <Logic>) 1차 술어 논리.

## Articles

- https://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

## See also

- [Propositional logic](/pages/Propositional%20logic.txt)