1. | ![]() |
Atomic sentence | Functional symbol, First-Order Logic | ![]() |
2. | ![]() |
타당성과 안전성 | 비정형 증명과 정형 증명 | ![]() |
3. | ![]() |
정형 법칙 | 정형 증명 | ![]() |
4. | ![]() |
논리연산자 | 논리연산자 | ![]() |
5. | ![]() |
Tautology | Tautological equivalent, logical equivalent | ![]() |
6. | ![]() |
Logical consequece in Fitch | 비정형 증명, Fitch에서의 이접 법칙 | ![]() |
7. | ![]() |
정형 증명 | 교접 법칙, 이접 법칙 | ![]() |
8. | ![]() |
조건연산 | 조건연산 법칙, 진리 함수의 완성도 | ![]() |
9. | ![]() |
한정사가 사용되는 FOL | 전체한정사, 존재한정사 | ![]() |
10. | ![]() |
한정사의 논리학 | Aristotelian forms, FO validity, FO equivalence | ![]() |
11. | ![]() |
복합적인 한정사 | 단일 한정사와 혼합 한정사에서의 복합적 활용 | ![]() |
12. | ![]() |
한정사 문장의 증명 | 한정사 문장의 비정형 증명과 정형 증명 | ![]() |
13. | ![]() |
존재한정사의 법칙 | 존재한정사의 법칙 | ![]() |