■恋と禁忌の [novel]

述語論理（プレディケット）

中身について危惧していたものの、メフィスト賞を取ったぐらいなのでまぁまぁ。
論理式の導出はまたあとで。

恋と禁忌の述語論理 (講談社ノベルス)

• 作者: 井上 真偽
• 出版社/メーカー: 講談社
• 発売: 2015-01-08
• ASIN: 4062990385
• メディア: 新書
• 

記号論理で、意味をおいておいて論理式だけを解釈できるかどうか、っていうのは人に依るのだろうか。