等価

論理と数学における命題の等価性とも呼ばれる等価性。「ifとif ifのみ」という句によってリンクされた他の2つの命題の形成。2つの命題pとqから形成される同値は、「pはqに必要かつ十分な条件です。」