「一階述語論理」の版間の差分

m
ページ改名に伴うリンク変更
タグ: メディア追加
m (ページ改名に伴うリンク変更)
タグ: 2017年版ソースエディター
 
* '''二階述語論理'''は部分集合および関係、すなわち全ての述語の量化を許すものである。
* '''高階述語論理'''は述語を引数とする述語など、さらに一般化したものの量化を許す。
* '''直観主義的一階述語論理'''は古典命題計算ではなく[[数学的直観主義 (数学の哲学)|直観主義]]を導入するものである。例えば、¬¬φ は必ずしも φ と等しいとは限らない。
* '''[[様相論理学|様相論理]]'''は様相演算子を追加したものである。これは、直観的に説明すれば、「~は必然的である」および「~は可能である」を意味する演算子である。
* '''[[無限論理]]'''は無限に長い文を許す。例えば無限個の論理式の連言や選言が許されたり、無限個の変項を量化できたりする。