20/03/18 22:58:20.59 k5ev/+el.net
>>877
習いたてで難しいかもしれませんけど、直しておきますね
P,Qが述語ですよね
xは変数で、自由変数が束縛変数のいずれかですよね
定数かもしれないですけど
P(x)→Q(x)
これだけかくと、自由変数を含んだ論理式で、閉論理式ではないので真偽は定義できませんよ
人間 → 動物
人間は動物である
いずれも、形式論理の世界で考えると、曖昧ですね
P(x):xは人間である
Q(x):xは動物である
このように書いていただけるとわかりやすいですね