产生数的和的装置。加数和被加数为输入，和数与进位为输出的装置为半加器。若加数、被加数与低位的进位数为输入，而和数与进位为输出则为全加器。常用作计算机算术逻辑部件，执行逻辑操作、移位与指令调用。

1.即二难推理。逻辑上称假言推理和选言推理联合起来的推理。大前提是两个假言判断，小前提是选言判断。

①《韩非子·难一》说：楚国有人卖矛和盾，夸他的盾最坚固，什么样的矛都刺不进，又夸他的矛最锐利，什么样的盾都能刺穿。有人问他：“用你的矛来刺你的盾，那会怎么样呢?”那人无言可答。后用“矛盾”比喻言行相互抵触，互不相容：自相矛盾｜矛盾百出。 ②唯物辩证法指事物内部或事物之间又统一又斗争的双方的关系。矛盾无处不在，无时不在，推动事物的发展。矛盾千差万别，千变万化，必须具体分析，区别对待。客观事物的矛盾......更多

既不能同真也不能同假的两个判断。如“逻辑学是有用的”和“逻辑学是无用的”就是矛盾判断。对于矛盾判断，可以由一个判断之真推出另一个判断之假，也可以由一个判断之假推出另一个判断之真。

1.立论的根据﹐作者用来证明论点的理由和事实。 2.逻辑学指用来证明论题的判断。

1.议论道理。 2.争论是非。 3.按照道理。 4.理论。 5.逻辑。

又称“程序框图”，简称“框图”。用规定的图形、流向线和文字说明来表示解题步骤的图形。画流程图是程序设计中首先要做的一项重要工作。设计者通过画流程图构思程序的逻辑结构。详细的流程图可直接作为编写程序的依据，并可作为调试程序时的参考资料。

1.即内涵。逻辑学名词。参见"内涵"。

形式逻辑的基本规则之一。其内容为：在必须作出判断的时候，要有所断定，不能无可无不可，无所断定；对于只有互相矛盾的两个可能的问题，要有所肯定，不能两不可，对两个可能全都否定。它和同一律、矛盾律都不同，从一个新的角度要求思维的确定性。因其要求排除两个矛盾判断之间的中间者，故称排中律。

1.亦作"说智"。古代墨家的认识论术语。指由逻辑推理得来的知识。语出《墨子．经说上》﹕"知﹐传受之﹐闻也。方不障﹐说也。身观焉﹐亲也。" 2.谓说给人听﹐使其知道。