Implication and Derivation
1. Propositional calculus
Inference rules:
Fallacies and paradoxes:
Logic and human reasoning:
Opinion about proposition:
2. NAL-5 Inference Rules
- Higher-order statements
- Copulas as built-in conceptual relations
- Extended syllogistic inference
- Negation
- Analytical truth
- Revised memory and control
Reading
- Non-Axiomatic Logic: A Model of Intelligent Reasoning, 2nd Edition, Chapter 9