📜  “世界上不存在乘坐过所有航空公司航班的女性.” - 无论代码示例

📅  最后修改于: 2022-03-11 14:58:22.790000             🧑  作者: Mango

代码示例1
¬∃w∀a∃f (P(w,f ) ∧ Q(f,a)) ≡ ∀w¬∀a∃f (P(w, f ) ∧ Q(f, a))

                            ≡ ∀w∃a¬∃f (P(w, f ) ∧ Q(f, a))

                            ≡ ∀w∃a∀f¬(P (w, f ) ∧ Q(f, a))

                            ≡ ∀w∃a∀f (¬P(w, f )∨¬Q(f, a))