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