formal logic
not organized
nodes
- logic formulas
- formal system, formal proof, premise, argument, conclusion, logical implication, logical form
- statement, rule of inference
- predicate, tautology
- inference engine, forward chaining, backward chaining
- logic homework 5
- quantifier, existential quantifier, universal quantifier
- deduction theorem
- homework on algorithmic inference