英語の技術書の解説みたいなのをブログに書くときに、書中にちゃんと書いてありますよ~これが証拠ですよ〜という風な感じで、どかっと英文を乗せることがある。例えば以下の記事。 yuyubu.hatenablog.com 分かりやすさのために載せているのではなく、証拠と…

論理学を作る練習問題32(5)のルイスキャロルの妥当性検証。 10個述語が並んでるので真理値表でやると2^10=1024マス記述が必要？*1 タブローだとa4用紙に収まる程度で解ける *1:真理値表で解く方法はしらないけど