如：
任何想讨好所有人的人，一定会得罪某个人。
(Ax）【（x是人∩x想讨好所有人）→x会得罪某个人】
(Ax）【（x是人→x想讨好所有人）→x会得罪某个人】
请问那个正确？

任何正直的人喜欢好人。
（Ax）【（x是正直的人）→（x喜欢好人）】
此时 将“x喜欢好人”进行量化处理：
Ay【（y是好人）→（x喜欢y）】
还是
Ay【（y是好人）∩（x喜欢y）】

逻辑学教科书 上有这么一句话：“命题函项是这样的一种表达式：其中个体变元至少有一次是自由出现的。
但是紧接着举例子说（Ax）【（Ax∩Bx）→Cxy】就是命题函项。但是这个量化公式不是闭公式吗？既然是闭公式就说明变元全是约束的，不存在”至少有一次是自由出现的“啊？

逻辑学吧、相关帖子：
1.二元关系命题的结构形式 http://tieba.baidu.com/p/637902807
2.量词运算帖汇总（2012-12） http://tieba.baidu.com/p/2032807663?pid=27025424884&cid=0#27025424884

@yanwentong62 “因为……所有”属于充分条件命题吗？

逻辑学教材，有两类：
1.逻辑学研究性论著。
2.逻辑学通识类；
国产的《普通逻辑》类。
进口的《逻辑学导论》类，柯匹的书、杨武金翻译的《逻辑的力量》。

@yanwentong62
我想问你几个问题啊：
①如何用汉语阐释符号语言的逻辑？
例子：如果明天下雨（p），那么明天放假（q）
p→q
我们知道p→q的等值式为（非p∪q）
那如何用汉语说出（非p∪q）的形式呢？
是”明天不下雨，或许明天放假“吗？
②我们说，一个复合命题的真假由子命题的真假决定。可是子命题的真假如何判断呢？