3.如果你有自由意志,那么你的行为不受任何在先事件决定。如果你有自由意志,那么,如果你的行为不受任何在先事件决定,则你的行为不可预测。如果你的行为不受任何在先事件决定,那么,如果你的行为不可预测,则你的行为后果不可预测。
因此,
如果你有自由意志,那么你的
行为后果不可预测。(F,A,P,C)

这道题叙述的比较哲学味儿,艰涩且不易懂。为了增加点趣味性,亩心换一句乡间俚语,意思差不多,理解却很容易。请看

如果都由着性子来,想干嘛干嘛,那不乱套了吗! 想知道后果吗?就是你刚出门,说不定就一命呜呼了!

咱说的虽然调皮,但逻辑关系还是人家的严谨。人家知识分子除了擅于说一些大众不易理解的语言之外,还特讲究准确性。现在咱分析一下它的逻辑过程:

1.f⊃a
2.f⊃(a⊃p)
3.a⊃(p⊃c)
.·. f⊃c

4.(f·a)⊃p 2,exp
5. f⊃(f·a) 1,abs
6. f⊃p

4,5,h.s.
7. f⊃(p⊃c)1,3,h.s.
8. f⊃(f·p) 6,abs
9. (f·p)⊃c 7,exp
.·. f⊃c

还是人家说的好。是不?[what]

4.苏格拉底是伟大的学者,因此,苏格拉底或者婚姻幸福,或
婚姻不幸福。(G,H)

1. G
.·. Hv~H

这道题理解很容易,但用现代的符号逻辑证明起来反而有难度,需要想象力。所以本着不迷信权威的精神,就用亩心自己的招儿,直接解决问题,如何?[可爱]

Hv~H,本身就是一个重言式,就跟人不是活着就是死了一样,永远正确。不管苏格拉底是学者,还是死囚,他的婚姻都是或者幸福或者不幸福,没有别的可能。爱抬杠的朋友可能会说,婚姻也有既幸福又不幸福的呀!
较真儿呗! 其实这个难不倒它,析取式(或幸福或不幸福就是一个析取式)的真包括三种情况,两个析取支中的任何一个为真时它为真,两个都为真时它也为真。为什么不怕较真儿?因为,如果天底下真有既幸福又不幸福的婚姻,那也在析取式的定义之内。

亩心郑重声明:上述独具一格的推理纯属调侃,与科学无关。

现在开始,咱严肃点。第4题的正确证明如下↓

2. GV~H

1,Add.
3. H⊃G

2,Impl.
4. H⊃(H·G) 3,Abs.
5. ~H V(H·G)4,Impl.
6. (~HVH)·(~HVG)

5,Dsit.
7. ~HVH

6,Simp.

.·. HV~H 7,Com.

逻辑没问题,就是复杂了点。说实话,第一次阅读时,亩心想了一晚上都没想到第二步,直接放弃了。[害羞]直到昨晚再次阅读时,才茅塞洞开,令人惊喜地发现了第二步,利用附加律给G加上V~H,瞬间就简单化了。

由此可知,有些书重复看收获更多。有时候,静默也能让人进步。#分享你的今日感悟##读书##阅读的温度#

death 刑存在的意义不是夺取一个人的生命,而是让人有畏惧之心从而不敢轻易犯罪。它存在的一大重要意义是防止,而不是惩罚。按照某些废死派的观点,事情已经发生了。夺取一个人的生命对于受害者家属毫无作用,不如让其在有声只能尽量弥补忏悔,终生背负着这个十字架。但是,从受害者角度来看,自己的家人无辜被害,自己的家人从此与自己天人永隔。而行凶的人可以好好活着,甚至心安理得活着。他可以吃饭了,可以看电视,甚至继续自己的爱好。受害者家属该用一种怎样的心情去生活?如果罪犯是个前科累累的穷凶极恶之徒,那么如果他一开始被判了shi刑,那么之后的受害者也就不存在了不是吗?我们无法用别人的生命去赌一个人是否真心悔改,是否可以做出弥补。这代价太大了,不是谁可以承担的。(以上纯属个人观点,看完了《虚无的十字架》如是想。若有不同意了也请憋着。)

感恩日记2022年9月30日(第1671天)
流经我们内心的风景

今天上午纯属奇遇,万万没想到,在视频里看到的景象竟然发生在了我们的身上。
晚上走在海滩边,还心有余悸。

夜晚的大海是墨色的,而夜晚的天空却是蓝色的。我的手机里拍不出那种蓝色,先是柔和的浅蓝色,然后是明快的宝石蓝。夜晚的天空竟然悬挂着大片大片的云块,像摊开的一床床棉絮。好想就这样瘫在礁石上,扯一块云彩枕在头下,盖在身上。
太喜欢听海浪的声音了,如果能睡在这海边,一定不会失眠吧!
开着看着海面上飘着的轮船,让我想起了宫崎骏的动画片,我是动画片里的角色呢,还是动画片外的观众呢?

海岸线还是属于年轻人的,他们尽情的拍照,他们也真是会拍照。我不拍照是因为我拍出来的景色永远没有我眼睛看到的美。

我拍下的几张照片是我忍不住想要留存下的景色,也是我内心编织的故事。

我拍下的何止是照片啊,我拍下的是好心情,好天气,是无数个美好瞬间,是青春、是岁月、是再也无法复刻的怦然心动。

感恩所有的发生!感恩活着!


发布     👍 0 举报 写留言 🖊   
✋热门推荐
  • ——木心《云雀叫了一整天》18.所谓无底深渊,下去,也是前程万里。——韦应物《简卢陟》#文字的力量#摄影: 发掘每一个平凡人的美好 贴近生活的细腻光影 SEEB
  • (只是字面意思请别较真)(^・ェ・^)如果没有妈咪,爹咪就是个看起来到处留情的空调,而没有爹咪,我们也不能发现妈咪隐藏在人设后的各种有意思的面貌。也想问问人设够
  • 现在我也会继续留在队中,但那是因为主席跟我说想走要支付7亿欧元解约金,可那是不可能的事情,之后还有一种方式就是上法庭,我从来不希望与巴萨对簿公堂,因为那是我爱的
  • 你喜欢哪种呢?』 チーム8歌田初夏、太田奈緒、大西桃香、岡部 麟、小栗有以、小田えりな、倉野尾成美、坂口渚沙、佐藤 朱、佐藤 栞、佐藤七海、下尾みう、下青木香鈴
  • 80后李凯是学畜牧兽医专业的,2014年他报名参加了眉县农宣中心举办的新型职业农民培训后,从一个对猕猴桃技术一窍不通的年轻人变成了猕猴桃专家,活跃在田间地头,
  • 我们为什么需要这个“圈”然而,一组数据,却也显示了成都都市圈的“不足”:作为成渝双核之一极,2019年成德眉资四市经济总量为2.15万亿,与重庆相差0.25万亿
  • 相比一些竞争对手动不动就1.3T、1.4T,甚至还是三缸机的豪华车型来说,2022款冒险家在动力上就已经表现出了足够的诚意。任何民族都沒有辦法以如此飛速的發展速
  • 但从企业长远发展的层面看,凯翼从奇瑞体系得到的技术和管理背书,必将有一次爆发式的呈现。就凯翼来说,我们独有的 “一城一代”模式,更多的是解决厂商的关系和区域多家
  • 14、遇见你的时候所有星星都落到我头上15、山水一程,三生有幸16、我轻轻地尝一口,你说的爱我17、因为生活不快乐,但想到你我就很快乐18、两个成年人做出的慎重
  • 说说格局这东西吧,必须得说丁元英了,吃个早点明明付过钱了,老板忙忘了又找他要钱,他啥也没说就给了,这是不争,欧阳雪请他吃饭酒桌上刁难他,他没有生气还指点他挣了不
  • 我的人生再也没有十几岁了。我太怀念去年九月的晚霞和十九岁的愤世嫉俗了。
  • 今年的Oblique帆布全系列没有一个款不是红透半边天的 ♥️而且和之前的老花有过之而无不及花纹更加立体饱满对它是完全没有抵抗力、中性 复古又简单率真老花和球鞋
  • ——毕淑敏《心灵的力量》5.真正的坚守,是没有人给予你任何承诺的,流逝的只是岁月,孑存的只是信念。—— 毕淑敏《愿你与这世界温暖相拥》15.是的,我很重要。
  • 就算和某个异性关系好,相处日久后发现她有人品方面的问题,也会毫不犹豫的和她结束朋友关系,他认为一个人的人品很重要。虽然说遇到这种情况,只要退出游戏再重新登陆就好
  • 大概就是我不找了,不过还是希望你出现,但是也许你出现的时候我已经不需要你了。它小到你根本不知道它什么时候掉的,上一次用它还是几天前,于是几天之后,它不见了。
  • 总有一方要稍弱的,总有一方要妥协的,也总有人喜欢强势、能干、有当担一点的配偶。所以,差额不能大,也就是不能太吃亏,吃了亏也有便宜占,这样的一种平衡,才利于稳定。
  • 今天突发奇想,说说我的柚子猪柚子猪去年跟我的时候带着病,咱也不知道,就觉得这个猫猫不亲人后来有天早上尿血带去一检查才发现是膀胱结石这病吧说大不大说小也不小,咱就
  • 会议指出,要执行好京外有感染者远端管控、应急响应机制,对目前尚在有一例及以上感染者的地级市及14日内有该区域旅居史的待进返京人员,通过健康宝弹窗温馨提示,告知就
  • 感情总是简简单单,其实不简单,人生总是平平淡淡,其实不平凡,彼此之间的守候没有诺言,却最真切,彼此的陪伴没有热烈,却很长远,距离可以遥远,而心却没有疏远,时光可
  • 张老师:这次闭关感觉非常的清净,虽然是护关人员,老师们和行者们都在享受清清净净地念咒,我也沉浸在耳根圆通的准提咒音中。吕老师:这个寺院给我的感觉就是一种家的亲切