Evaluation (logic)
In logic, evaluation is called the assignment of truth values to the expressive formulas of a language on the basis of an assignment .
One speaks of “evaluation” in propositional logic . Analogously, one speaks of “ interpretation ” in predicate logic .
An assignment V of the sentences in language S is called an evaluation if:
(a) V (¬ A) = w iff. V (A) = f
(b) V (A → B) = w iff. V (A) = f or V (B) = w.
If the propositional formula A is satisfied by all evaluations, then A is propositionally true, generally valid or tautological .
If the conclusion B of a conclusion A → B is fulfilled by all evaluations that also fulfill the premise A, then the conclusion is also valid from a propositional logic .
Individual evidence
- ↑ a b c Regenbogen / Meyer, Dictionary of Philosophical Terms (2005) / Model Theoretical Semantics
- ↑ Kutschera / Breitkopf, Introduction to Modern Logic, 8th edition (2007), ISBN 978-3-495-482711 , p. 62