我知道真值表可以证明分配法是一个逻辑等价：
p V（q ^ r）＆lt; =＆gt; （p V q）^（p V r）
但是，这对我来说没有直观意义。这是我看到的矛盾：如果p和q都是真的，那么不会导致p ^ q？可以使用右侧的表达式，但这似乎不适用于左侧的表达式。正如我所看到的那样（并且我的看法一定有问题），根据左边的表达式，要么只有p是真的，要么只有q和r是真的。
有人能够向我解释这有什么意义吗？
如果我需要澄清任何内容，请告诉我。
答案 0 :(得分：1)
左手方程表示p为真或q且r为真。它没有说p只有p是真的，或q和r只是真的。
对于您的示例，p ^ q =＆gt; p（它还暗示q和p v q），这使双方都成立。
例如，在英语中，第一个等式表明至少有以下一个是真的
如果所有这三个都是真的，那么陈述也是如此。
右边的那个说以下两个都是真的
如果我们有Pablo和Quincy可以游泳（你的例子），那么我们看到两个陈述都成立。巴勃罗可以游泳，所以第一个表达因为它的第一个条款而起作用。对于第二个表达，因为Pablo可以游泳它的两个部分都是正确的，所以它也适用。
答案 1 :(得分：0)
我怀疑你使用的是“或”的俗语，意思是“一个或另一个，但不是两个”。例如，“选择红笔或蓝笔”。形式逻辑中“或”的含义是“至少有一个是真的”。在你的假设中，当然是p ^ q，但是q＆amp;的值。当p。
时，r无关紧要