p→q中q是p的什么条件精选12条

1、按照前面的思路，仔细想一想，蕴涵只是很简单的【真值表定义】问题。怎么会在专家之间争议那么大呢？

2、两孩概率的歧义问题，wiki的【boy or girl paradox】词条目中也有非常详尽的解释，包括问题的始提出者和后续发展，以及多篇论文。

3、其实知乎上有不少数学大手澄清过【boy or girl paradox】，其中还包括某实名数学家（后来被杠的匿名了，但评论可以证实他开始是实名的）。

4、如果命题被严谨的表达为【2+2=5 → 雪是白的】【2+2=5 实质蕴涵 雪是白的】【一个假命题 实质蕴涵 任意命题】，这毫无疑问是正确的，不可能会有争议。

5、→（蕴含符号）的定义是这样的：随意给出2个命题p、q，它们的真假关系有4种组合，只有【p真q假】时，【p→q 为假】，剩下3种情况【p→q 为真】。

6、根据→的定义可以知道，当【p为假】时【p→q】一定是真的。当【q为真】时，【p→q】也一定是真的。

7、就像11中我发明的^&*是【比较 2个汉字 笔画多少】的运算符号， →（蕴含符号），也是某些逻辑学家发明出来【比较 2个命题 真假关系】的运算符号。

8、为了说明第10条所说的【定义可以是任意的】。现在我也发明个符号^&*，并作出定义：【P ^&* Q】 代表【汉字P的笔画≥汉字Q的笔画】，这样的话，【“壁 ^&* 王“为真 】，【“一 ^&* 大”为假 】这些都是显而易见的。

9、可惜的是，在我国还是有太多的杠精拿书本说事，坚持1/2派就是不懂概率，1/3就是真理。并认为歧义派是在抬杠。

10、逻辑学并不是一开始就有的，我们在日常中先有【如果…那么…】（也就是【条件句】）的交流方式，而后某些人发明了→（实质蕴含）的定义方式，但是这个定义和我们交流的含义是有所差别的。

11、换一个角度想，看起来再简单不过的一个概率/逻辑 问题，在专家这么聪明的人群中却产生了分歧，不是【歧义】导致的，还能是什么呢？

12、一些逻辑学家意识到了这一点，按照我们日常中使用【条件句】的习惯，发明了不同的定义方案，比如【模态逻辑】等等，但也只是接近而已。