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，瞬间就简单化了。

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

“冷风冷雨”到达，岱山全线停航、高速限速……

受较强冷空气影响，岱山沿海已经出现9级偏北风，预计我县所有乡镇及附近海域今天风力维持，明天早晨减弱到8级。希处于危险地带及出海的船只做好避风工作，并注意交通安全，高空、滩涂、水上等户外作业人员停止作业，危险的户外电源应及时切断。

受大风影响，高速限速：G9211甬舟高速、S6定岱高速全桥限速80KM/H。https://t.cn/A6oUwLzs

. 如果继续下雨, 那么河水会上涨。
. 如果继续下雨且河水上涨,那
么桥将被冲垮。
. 如果继续下雨导致桥被冲垮,那么仅有一条路通往镇上是
不够的。
. 或者一条路通往镇上就足够了，或者交通工程师们犯了错误。
. 因此,交通工程师们犯了错误。
. (c:继续下雨；r:河水上涨；b:桥被冲垮；s:一条路通往镇上足够；m:交通工程师们犯了错误)

这个推理是有效的。翻译成符号形式如下↓
1. c⊃r
2.（c·r）⊃b
3.（c⊃b）⊃~s
4. sVm
.·. m
证明过程也不难，
1，abs → 2，5，h.s.

→3，6，m.p. → 4，7，d.s.

问题来了，多情的语言，为什么把它翻译成冰凉的符号呢？
一是，证明起来容易。二是，只要这种形式是有效论证，那么我们往里套进任何内容后，它仍然是有效的。比如，替换上文变元为: c,长时间居家不工作；r,收入减少；b,人会崩溃；s,长期封闭是必须的；m,某些人错了。然后，照着上文的顺序重新来一遍，结论一定是正确的。

如此看，形式逻辑的作用，是不是就是传说中的触类旁通呢？#阅读的温度##读书##分享你的今日感悟#