補足説明（初版）

第１３章

演算の優先順位

本章の内容では，論理記号の優先順位に関する記述がされていませんが，

一般的に命題論理，述語論理の論理記号では

￢が一番優先度は高く，次に∧，∨が高い．最後に，→，≡，という順番になります．

それらのどれよりも，（）による優先度は優先されます．

たとえば，

A→B∨C

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