Valuation (logic)

Rating is called the assignment of truth values ​​to the statement formulas of a language based on an occupancy in logic.

Retrieved from " review" is spoken in the propositional logic. Analogously, one speaks in the predicate logic of "interpretation".

An assignment V of the sentences of the language S is called an assessment if:

( a) V (¬ A) = w iff. V ( A) = f

( b ) V ( A → B ) = w iff. V ( A) = F or V (B ) = w ..

If the statements A formula satisfied by all the reviews, so A is propositionally true, universally valid or tautological.

If the conclusion of an inference B A → B by all evaluations fulfilled, which also fulfills the premise of A, so the conclusion is propositionally valid.