[00J] An evaluation assigns to each variable a value of ”true” or ”false”. Knowing the value of the variables, and using the known truth tables for connectives 1 , we can calculate the value of each well-formed formula.
