古典論理
古典論理(こてんろんり、classical logic(s))
よくででくるやつ
命題論理、一階述語論理、二階述語論理、高階述語論理など？が該当する
古典論理の条件
排中律を認める
$ P \lor \lnot P
二重否定除去が推論規則にある
$ \lnot\lnot P → P
古典論理でないものは非古典論理
確認用
参考
#論理学 #Fleeting_Notes