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
Dopamine Acetyltransferase
- An enzyme that catalyzes the of groups from acetyl-CoA to arylamines. They have wide specificity for aromatic amines, particularly serotonin, and can also catalyze acetyl transfer between arylamines without CoA. EC 2.3.1.5.
Nearby Words
- deduction
- deduction.
- deductive
- deductive database
- deductive reasoning
- deductive tableau
- deductively
- deductor
- deduit
- deduplication
- dee