非量
反对判断
拼音:fǎn duì pàn duàn 首字母大写:FDPD五笔:rc cf ugjh on 反对判断的同义词反义词
不能同真但可以同假的两个判断。如“逻辑学是无用的”和“逻辑学是万能的”就是反对判断。对于反对判断,可以由一个判断之真推出另一个判断之假,但不能由一个判断之假推出另一个判断之真。
论题
名学
外籀
思维形式
拼音:sī wéi xínɡ shì 首字母大写:SWXS五笔:ln xwy gae aa 思维形式的同义词反义词
思维借以实现的形式。概念、判断、推理、证明是不同的思维形式。具有不同结构的判断形式、推理形式、证明形式也是不同的思维形式。在具体思维中,思维形式和思维内容总是结合在一起的,既不存在没有思维形式的思维内容,也不存在没有思维内容的思维形式。但是思维形式对于思维内容具有相对的独立性,因此逻辑学可以把思维形式抽出来作为自己的研究对象。
演绎证明
拼音:yǎn yì zhènɡ mínɡ 首字母大写:YYZM五笔:ipgw xcg yg je 演绎证明的同义词反义词
“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识,论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。