اثبات با جدول ارزشی

📚 نکته آموزشی: تعریف دوشرطی

دوشرطی p ↔ q زمانی درست است که p و q مقدار یکسان داشته باشند (هر دو T یا هر دو F).

به عبارت دیگر: p ↔ q ≡ (p → q) ∧ (q → p) ≡ (p ∧ q) ∨ (¬p ∧ ¬q)