deductive tableau

Computing Dictionary

deductive tableau definition

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)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: deductive reasoning
Next Definition: deductor
Words Near: deductive tableau
More from Thesaurus.com
Synonyms and Antonyms for deductive tableau
More from Reference.com
Search for articles containing deductive tableau
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT

;