关于如何计算命题公式对应的真值的信息

欧几里得82、命题的真值；“正确”，“错误”；矛盾律；假命题

…真命题（true statement）：数学中，把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。命题真值只能取两个值：真或假。真对应判断正确，假对应判断错误。任何命题的真值都是唯一的。称真值为真的命题为真命题…

（…命题：见《欧几里得81》…）

…值：1.价值；数值。2.数学上按照数学式演算所得的结果：比～。函数～…

…真值：命题的真值…

…

逻辑学中的真值指的是什么？——网友提问

“指每个命题都有真假两个值…”网友“远山如我”说。

…

…命题的真值：命题为真、或命题为假，这两个结果，叫命题的真值…

…假：虚伪的；不真实的；伪造的；人造的（跟“真”相对）：～话。～发。～山。～证件。～仁～义…

“‘假’就是不符合事实…”现代百姓说。

…正确：符合事实、或某种标准：答案～。～的意见。实践证明这种方法是～的…

…错误：不符合事实、或某种标准：～思想。～的结论…

…命题真值只能取两个值——真或假。真对应判断正确，假对应判断错误：命题真值只能取两个值——真或假。真值为真的命题是正确命题，真值为假的命题是错误命题…

矛盾律：对同一个问题作的两个相反的判断，不能都是真的。如对“甲是乙”和“甲不是乙”两个判断，不能都加以肯定，至少要否定一个。违反这条规律，会犯自相矛盾的错误（百度汉语）。

“矛盾律也叫不矛盾律…”现代百姓说。

矛盾律2：通常被表述为A必不非A（A一定不是非A），或A不能既是B又不是B…对同一对象不能同时作出两个矛盾的判断，即不能既肯定它，又否定它…在传统逻辑里 ，矛盾律首先是作为事物规律提出来的，意为任一事物不能同时既具有某属性又不具有某属性…它作为思维规律，则指任一命题不能既真又不真（百度百科）。

…思维：思考的过程…

“矛盾律指对两个矛盾的判断不能同时承认它们都是真的…它们中至少有一个是假的…如果违反了矛盾律的要求，就会出现思维上的前后不一，自相矛盾…”现代百姓说。

“矛盾律指对同一对象不能同时作出两个矛盾的判断，即不能既肯定它，又否定它。如不能说‘水是物质’，同时又说‘水不是物质’…‘水是物质’‘水不是物质’这两个判断中必有一个是假的…”另一位现代百姓说。

“矛盾律要求思想前后一贯，不能自相矛盾…公式是：‘A必不非A（A一定不是非A）’或‘A不既B又非B（A不能既是B又不是B）’…”现代百姓接着说。

…

…假命题：真值为假的命题…

反证法：证明定理的一种方法。先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法（百度汉语）。

““反证法通过证明与命题相矛盾的命题（即反命题）为假，来证明命题为真…”现代百姓说。

请看下集《欧几里得83、欧几里得运用反证法，排中律，逻辑关系等知识进行证明》”

若不知晓历史，便看不清未来

欢迎关注头条号“人性的游戏”