You are here: irt.org | FOLDOC | 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.
(1994-12-07)
Nearby terms: DED « dedicated line « deductive database « deductive tableau » Deep Blue » deep hack mode » deep magic
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL