Up: Logic [Top][Contents]
A table with
the values of a molecular statement
evaluated at
all possible values of its propositional variables.