古典論理
古典論理(こてんろんり、classical logic(s))
論理学を調べているとよくででくるやつ
命題論理、一階述語論理、二階述語論理、高階述語論理など？が該当する
積み上げ式だと直観主義論理 + 背理法
古典論理の条件
排中律を認める
$ P \lor \lnot P
二重否定除去が推論規則にある
$ \lnot\lnot P → P
古典論理でないものは非古典論理
古典論理 LK
古典論理 LJ
確認用
参考
『一歩ずつマスターする論理学入門』
#論理学 #Fleeting_Notes