『恋と禁忌の述語論理』

taga | 2016年2月19日

井上真偽の とってもめんどうな本。 表紙の軟弱さに騙されてはいけない。 真偽値。充足問題。推論規則。形式的証明。 対偶。実質含意のパラドックス。自然演繹。・・・ こんな言葉は、40年前の田口先生の「論理学」の講義以来であ [...]