An Interpretation I Satisfies A Sentence In The Table Language If And Only If Each Entry In The Table Designates The Value Of The Function Designated By The Function Constant In The Upper-left Corner Applied To The Objects Designated By The Corresponding Row And Column Labels.

Home › Fortune Cookies › Miscellaneous Collections

An interpretation I satisfies a sentence in the table language if and only if
each entry in the table designates the value of the function designated by the
function constant in the upper-left corner applied to the objects designated
by the corresponding row and column labels.
-- Genesereth & Nilsson, "Logical foundations of Artificial
Intelligence"

Related: