这是书上的话，我没有读懂这样定义的原因。不懂为什么~（p·~q）可以表示如果p那么q

实质蕴含并不适合刻画生活中的大多数【如果那么】，只是很多人以为这样罢了。
按照实质蕴含的定义，实质蕴含怪论 根本不怪。
总结起来，它并不适合叫【如果 那么】，更适合叫【 并非 “P真且Q假”】或这【P实质蕴含Q】

回复2楼

实质蕴含怪论，其实是很简单的问题，你用我说的【并非“P真且Q假”】来代替，是不是很容易理解？很多人不愿意承认【如果那么】这个名字有问题 罢了。

我给你的答案就是【起错名字】。
别人可能会给你其他答案。
我不会固执己见，你自己对比 哪种答案，哪种答案会让你对困惑更多，哪种答案会让你困惑更少，就行了。

日常中的如果那么，大多表示 假设 那么，楼主觉得假设p那么q的否定形式是什么？

各位吧友，我有些问题想请教，在我看的《逻辑学导论》中，作者把实质蕴含定义为~（p·~q） ，请问为什么这样的形式可以表达 如果p那么q 的命题？我没有想明白。
=============================================================
如果p那么q 近代逻辑 表示为p->q
进一步 表示为 ~p或q
双重否定 ~ ~（~p或q ）=~(p . ~q)

我举一个例子吧：
①如果我昨天向你借了5元钱，那么昨天为止我一共欠你10元钱。
②假设我昨天向你借了5元钱，那么昨天为止我一共欠你10元钱。
两句话有区别吗？我觉得没有。大多数【如果 那么】其实表示的就是【假设 那么】
判断这句话的真假，可以依据昨天之前我欠你多少钱来进行（数学上的）判断。
跟前件的真假一旦关系都没有，【更何况很多情况下，我们之所以假设，有时候就是因为前件没发生。】
②命题的否定形式是什么？
答：假设我昨天向你借了5元钱，那么昨天为止我欠你的钱数并非10元。
----------------------------------------
①②等价于【（假设）P真的情况下，Q不可能假】
否定形式是【（假设）P真的情况下，Q（可能）是假的】。
有些人会认为，①②也可等价于③【不可能“”P真的情况下，Q是假的”】继而等价于④【不可能“P真且Q假”】
如果说③的等价，是否正确是模棱两可的，④则是完全改变了【语义】
-----------------------------------
回到例子，我昨天没向你借钱的话，按照④的解读，因为前件为假，所以
【如果我昨天向你借了5元钱，那么昨天为止我一共“欠"你10元钱。】
【如果我昨天向你借了5元钱，那么昨天为止不欠你钱。】
2种看似【矛盾】的说法，都是真的。这显然是不符合思维的。

如果 p 那么 q
要转化为 【实质蕴含】其实是有些讲究的
1 p是q的 充分 但不必要 条件 则 p->q
2 p是q的必要但不充分 条件 则 q-.>p
3 p是q的充要 条件 则 p <->q
4 p是q的 既不充分 也不必要 条件 则 无蕴含关系
举例：
如果 a+b=4 那么 a=2 ， b=2
p：a+b=4 q：a=2 ， b=2
因为 p是q的必要但不充分 条件 即p推不出q ，而q 能推出p
所以 是 q-.>p

我来啰嗦几句：p->q 为什么可以用 ~（P. ~q）表示
这是因为 p->q 在p真 且q假时 为假
在非（p真 且q假）时为真
所以 p->q 可以用 ~（P. ~q）表示