除去則

P(t), \qquad \forall x P(x) \Rightarrow Q(x) を同時に提示されて、何を意味しているのか、警告しているのかを真剣に考えたことがあった。\forall の除去則がだめなのか、⇒の除去則がだめなのか。
たぶん、前者だと思う。
具体的には、「あの人は僕の友達だよ。」「僕の友達はみんな変だから nuc は変だろう、とあの人に言われた。」だったんですよね。何を伝えたいのか本当に考えますよね。