補足説明

第13章

演算の優先順位

本章の内容では,論理記号の優先順位に関する記述がされていませんが,
一般的に命題論理,述語論理の論理記号では
¬が一番優先度は高く,次に∧,∨が高い.最後に,→,≡,という順番になります.
それらのどれよりも,()による優先度は優先されます.

たとえば,

A→B∨C

は, A→(B∨C) と同じ意味であり (A→B)∨Cとは異なります.

Comments