استدلال منطقي

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

تقديم الشرط الثنائي (Biconditional Introduction)

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

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