رياضيات, علوم الحاسوب, فلسفة, منطق

حذف الشرط الثنائي (Biconditional Elimination)