Professional Documents
Culture Documents
𝑖 𝒜 𝑖 𝒜→ℬ
𝑗
⋮
ℬ
→I 𝑗 𝒜
ℬ →E 𝑖, 𝑗
𝒜→ℬ →I 𝑖-𝑗
Deduction Rules II
Biconditional Elimination DN Elimination
𝑖 𝒜↔ℬ 𝑖 𝒜↔ℬ
𝑖 ¬¬𝒜
𝑗 𝒜 𝑗 ℬ
𝒜 ¬¬E, 𝑖
ℬ ↔E 𝑖, 𝑗 𝒜 ↔E 𝑖, 𝑗