Sekirov Dictionary

valuation

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

noun6

  1. 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).
forms

valuations

This dictionary works without the internet: on your phone · in Chrome