查询词典 logically true proposition

universal affirmative proposition：全称肯定命题

univariable series 单变量级数 | universal affirmative proposition 全称肯定命题 | universal bundle 通用丛

affix：附标

affirmative proposition 肯定命题 | affix 附标 | after effect 后效酌

alternative normal form：析取范式

alternative hypothesis 择一假设 | alternative normal form 析取范式 | alternative proposition 选言命题

alternative proposition：选言命题

alternative normal form 析取范式 | alternative proposition 选言命题 | altitude 高度

analytic proof：解析证明

analytic prime number theory 解析素数论 | analytic proof 解析证明 | analytic proposition 解析命题

analytic proof：解析证实

analytic prime number theory 解析素数论 | analytic proof 解析证实 | analytic proposition 解析命题

analytic proposition：解析命题

analytic proof 解析证明 | analytic proposition 解析命题 | analytic set 解析集

atomic lattice：原子格

atomic formula 原子公式 | atomic lattice 原子格 | atomic proposition 原子命题

atomic module lattice：原子模络

原子测度 atomic measure | 原子模络 atomic module lattice | 原子命题 atomic proposition

atomic proposition：原子命题

容易看出,例2.1-1,例2.1-2中给出的是命题的陈述句都不能进一步分解,类似这种不能再分的命题,称为原子命题(Atomic Proposition)或简单命题,原子命题是命题逻辑中最基本,最小的单位.由作为原子命题的简单陈述句通过连词联结而成的命题,

Plata：普拉塔

如普拉塔(PLATA)地区的皮子品种很多,一般可分为两大类,即干板皮和盐腌皮,干板皮有Sanos、Besse?鄄chos、Maldesechos、Inservi-bles和Garras,质量最好的是Sanos,质量较次的是Garras. 盐腌皮中质量最好的是Mataderos,较次的是Campos.

transistor automatic computer：晶体管自动计算机

transistor amplifier 晶体管放大器 | transistor automatic computer 晶体管自动计算机 | transistor base current 晶体管基极电流