(証明論的には(「命題論理の証明論」)、以下の等式のいくつかに相当する公理and・or推論規則が採用される)