Semantic Reasoner: Inference Engine, Logical Consequence, First Order Predicate Logic

Vivification: Description Logic, Semantic Reasoner, Logical Disjunction

Predicate Variable: First Order Logic, Metalinguistic Variable, Propositional Variable

Term Logic: Philosophy, Aristotle, Predicate Logic, Organon, Inference, Syllogism, Proposition, Square of...

Contradiction: Classical Logic, Proposition, Logical Consequence