論理学的にいうと「安倍が死ねば、日本は幸せになる」という命題があるとき、安倍が死んでないならこの命題は必ず真である

以下、5ちゃんねるからVIPがお送りします

>>88
「命あるものは皆いつか死ぬ」は公理と考えてよく、安倍∈命あるものなので、
安倍が死んでいる(u)が真となるuは存在するということでいいだろう
あと、安倍が死んでいる(u)は関数「安倍が死んでいる」に引数u、の意味な