话说世界上有很多逻辑冲突，例如男女关系

逻辑，因果按说应该是严密的，但是恰恰有很多事让人有一种逻辑冲突感。
例如男女之间的关系
一个男人整天想着女人，这样的男人女人是一定厌恶的；但是如果一个男人整天想着提高自己，例如学习，运动等等，越专注于提高自己越能吸引女性。

A整天想女性
B整天想着提高自己
C女性喜欢自己
Well formed formula:
{(A→（notC)),(B→C)}
这俩元素完全不contradiction
就算令B=(notA)
{(A→（notC)),((notA)→C)}
Truth table
A  C
T  F
F  T
也不会矛盾


主要问题在于
1.女性喜欢自己和自己想女性是independent的
2.A和B并不是complementary，A和B可以共存
3.两个well formed formulea并不是现实逻辑的精准概括，只是表面上观察到的东西，不仅没有矛盾感，就算有矛盾感，也不能说明现实有矛盾，只能说明你的formula对现实总结的有毛病
举反例：大帅哥天天想女人也有人喜欢