Deductive tableau




<tool> A theorem proof system consisting of a table whose rows contain assertions or goals.

Variables in assertions are implicitly universally quantified and variables in goals are implicitly existentially quantified.

The declarative meaning of a tableau is that if every instance of every assertion is true then some instance of at least one of the goals is true.



< Previous Terms Terms Containing deductive tableau Next Terms >
DECwindows
DECwrite
DED
dedicated line
deductive database
 Deep Blue
deep hack mode
deep magic
deep space
de facto standard