遗恨千古-selected
这个世界上真的有这样的人,口口声声说爱你,却不陪你吃饭,不陪你看电影,也不陪你逛街,在你最难最委屈的时候他都不会陪着你,他只陪你睡觉。
├ 断定符(公式在L中可证) ╞ 满足符(公式在E上有效,公式在E上可满足) ┐ 命题的“非”运算 ∧ 命题的“合取”(“与”)运算 ∨ 命题的“析取”(“或”,“可兼或”)运算 → 命题的“条件”运算 A<=>B 命题A 与B 等价关系 A=>B 命题 A与 B的体贴的橘子关系 A* 公式A 的对偶
这个世界上真的有这样的人,口口声声说爱你,却不陪你吃饭,不陪你看电影,也不陪你逛街,在你最难最委屈的时候他都不会陪着你,他只陪你睡觉。
├ 断定符(公式在L中可证) ╞ 满足符(公式在E上有效,公式在E上可满足) ┐ 命题的“非”运算 ∧ 命题的“合取”(“与”)运算 ∨ 命题的“析取”(“或”,“可兼或”)运算 → 命题的“条件”运算 A<=>B 命题A 与B 等价关系 A=>B 命题 A与 B的体贴的橘子关系 A* 公式A 的对偶