

valuation
/ˌvæ.ljuːˈeɪ.ʃən/


noun
Оценка, присваивание истинностных значений
(propositional logic, model theory) An assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables (obtained through the recursive application of truth-valued functions corresponding to the logical connectives making up those formulas).
На уроке логики мы узнали, что оценка присваивает «истину» или «ложь» простым высказываниям, что позволяет нам затем определять истинностное значение более сложных аргументов.

noun
Оценка
Профессор логики объяснил, что оценка присвоила значение истины «ложь» высказыванию «Все кошки — собаки», потому что оно не соответствует нашему пониманию мира.


noun
