論理で迷う

書いてみる

関連タグ

#Resolution (44)
#一階述語で論理式を定義する (1)
#懐中電灯 (321)
#矛盾 (4,982)
#証明 (2,491)
#述語論理 (26)

懐中電灯とは何かを述語論理で

おおむらしんいち
11か月前

無矛盾の証明

おおむらしんいち
1年前

項表現を定義する

おおむらしんいち
8か月前