首页 > 玄幻魔法 > 洪流之歌

第52章 大修士(十)(3/5)

目录

现在,方法就在面前。冯茂屏息凝神,认真听讲。

“逻辑有自己的论证方法,若没有论证方法,就绝不是逻辑。你既然知道了基本知识点,接下来就是命题的真值表。所有论证靠的是真值表内。”

岳父说着,就在幻境里拉出一个简单的论证 p 推导出 q。

“p和q是什么都无所谓,推理本来就不在乎推理的具体内容是什么。譬如,我没有手,所以我不能用手拿东西。命题只有真假,命题的真值表里面只包含真值与假值。”

冯茂没想到真值表还包括‘假’这个值,忍不住咦了一声。

“这个推理的真值表包含真和假,我没有手是真值t,推理结论的真值是我不能用手拿东西t。命题假值是,我有手f,推理结论是我能用手拿东西,这对于命题的真值而言是假值,是f。你明白么?”

看着岳父用手操纵幻境,却在推理中以没有手为真值,冯茂一面点头,一面觉得这个推理挺搞。就听岳父继续说道:“你看这个表,你看出了什么?”

“……t对应t,f对应f。”冯茂把幻境中的真值表念出来。

“光有真值表没用。推理判断就在于对真值表的判断,t对t,是真值对真值。这是真。f对f,是假值对假值,也是真。既然真值表里面所有对应的判断都是真,这个推理就是有效的。”

冯茂呆住了。岳父讲述真的例题超简单,但是自己以前绝不会这么考虑问题。不等冯茂从懵圈状态中跳出来,岳父继续说道:“如果p和q是杀人,偿命。命题的真值表包括,杀人和没杀人。结论的真值表包括偿命和不偿命。同样,t对t,f对f。真值表对应的判断都是真,那就证明这个推理是有效推理。然而……”岳父用教课老师特有的长音做出了提醒。

“对于被害者家属来说,杀人,偿命是真值。对于杀人者来说,如果他们认为杀人不用偿命,不杀人就不需要偿命。被害者家属眼中的真值表就变成了t对f,f对f。也就是说,杀人者的推理在真值的时候对于被害者家属的来说是无效的。而假值的时候的判断是有效的。既然真值表里的对应并不都有效,说明这个推理无效。至少在某种真值情况下是无效的。”

“呃……妙啊!”冯茂由衷的感叹道。以前冯茂是被迫让自己转换立场才能得出对对立双方的判断做评价。实在没想到居然可以直接用类似数学的方式直接获取结果。这种推理逻辑方式真的不需要预设前提,只用命题与结论的真和假,推理的有效无效来做判断即可。

冯茂缓过来劲之后赶紧问:“岳父,如果命题与推理是更复杂的模式,岂不是可以对更加复杂的问题做推理,并且得出推理是否有效的结论?”

本章未完,下一页继续

书页 目录
好书推荐: 致我们甜甜的小初恋 我师父实在太虚伪了 美漫克拉克 炽星逐 斗罗开始封号斗罗 奶爸的文艺之路 我在五光十色里等你 我在兽世发家致富 池鱼的渊 战神狂婿