数理逻辑查看词语释义亦称符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
查理定律查看词语释义在体积不变时,一定质量的气体的温度每升高1°c,其压强的增加量等于它在0°c时压强的1/273;或在体积不变时,一定质量的气体的压强跟热力学温度成正比。此定律由法国物理学家查理在实验中发现,故名。适用于理想气体,对高温、低压下的真实气体也近似适用。
模态推理查看词语释义以模态判断为前提或结论的推理。根据模态判断间的关系进行。也有直接推理和间接推理之分。例如由不可能一切规律都已为我们所掌握”推出必然有的规律还没有为我们所掌握”,就是一个直接的模态推理。
物理学家查看词语释义剧本。瑞士迪伦马特作于1961年。天才物理学家莫比乌斯发现了一种万能原理,因担心军事大国利用这一原理毁灭人类,便装疯住进了疯人院。东、西两大国情报机关派人打入疯人院,企图窃取资料,而全部资料却早已被以瑞士大资本家为后台的疯人院女院长所窃取。