>>877
習いたてで難しいかもしれませんけど、直しておきますね

P,Qが述語ですよね
xは変数で、自由変数が束縛変数のいずれかですよね
定数かもしれないですけど


P(x)→Q(x)
これだけかくと、自由変数を含んだ論理式で、閉論理式ではないので真偽は定義できませんよ


人間 → 動物
人間は動物である

いずれも、形式論理の世界で考えると、曖昧ですね

P(x):xは人間である
Q(x):xは動物である

このように書いていただけるとわかりやすいですね