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