中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Logical biconditional
来自维基百科,自由的百科全书
Found in articles
分体拓扑学
,且及於整個定義域;而從字母群的初始段取用的小寫字母就用來作為任意個體的名稱。假如以一公式以原子公式表示再接著邏輯雙如言(英语:
logical
biconditional
),因此邏輯雙如言右邊的次公式表為原子公式的定義,他們的變量就為非約束形式。否則,變數不是外顯性的量化而是內隱性的全称量化。底下
命题逻辑
∨ ψ)、(φ → χ)和(ψ → χ)可推出χ。 双条件介入(英语:
Biconditional
introduction):从(φ → ψ)和(ψ → φ)中可推出(φ ↔ ψ)。 双条件除去(英语:
Biconditional
elimination):从(φ ↔ ψ)中可推出(φ → ψ)和(ψ
位操作
逆非蕴含(英语:Converse nonimplication)2 非p3 实质非蕴涵4 非q5 逻辑异或6 逻辑与非7 逻辑与8 逻辑异或非(英语:
Logical
biconditional
)9 q(英语:Projection (set theory))10 实质条件11 p(英语:Projection (set theory))12