DEDUCTIVE TABLEAU
\dɪdˈʌktɪv tˈablə͡ʊ], \dɪdˈʌktɪv tˈabləʊ], \d_ɪ_d_ˈʌ_k_t_ɪ_v t_ˈa_b_l_əʊ]\
Sort: Oldest first
-
A theorem proof system consisting of a table whose rowscontain assertions or goals. Variables in assertions areimplicitly universally quantified and variables in goals areimplicitly existentially quantified. The declarative meaningof a tableau is that if every instance of every assertion istrue then some instance of at least one of the goals is true.
By Denis Howe
Word of the day
Health Personnel Attitudes
- Attitudes of personnel toward their patients, other professionals, the medical care system, etc.
Nearby Words
- deduction
- deduction.
- deductive
- deductive database
- deductive reasoning
- deductive tableau
- deductively
- deductor
- deduit
- deduplication
- dee