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对现实总结的有毛病
举反例:大帅哥天天想女人也有人喜欢