2ちゃんねる
■掲示板に戻る■
全部
1-
最新50
■ このスレッドは過去ログ倉庫に格納されています
大学学部レベル質問スレ 17単位目
985 :
132人目の素数さん
:2022/04/28(木) 20:24:04.00 ID:J2tXLzft.net
イヤイヤ当たり前だな
普通のブール代数の意味論なら排中律が恒真だけど排中律は定理式でないからブール代数に意味論を制限する限り完全性は成り立たなくなる
総レス数
1001
317 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200
本文
スレッドタイトル
投稿者