3.4 与/或形的演绎推理