英语词汇“deductive tableau”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典-现代词典

单词	deductive tableau
释义	deductive tableau deductive tableau (tool)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.
随便看	gerasa gerascophobia gerasene gerasenes gerash gerasimenko, konstantin gerasimenko, konstantin mikhailovich gerasim feigin gerasim grigorevich feigin gerasim kurin gerasim lebedev gerasim matveevich kurin gerasimov, aleksandr gerasimov, aleksandr mikhailovich gerasimova, valeriia gerasimova, valeriia anatolevna gerasimov, iakov gerasimov, iakov ivanovich gerasimovich, boris gerasimovich, boris petrovich gerasimov, innokentii gerasimov, innokentii petrovich gerasimov, ivan gerasimov, ivan aleksandrovich gerasimov, ivan ivanovich

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。