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

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