давно
Мастер-Эксперт
17387
18353
12.10.2009, 21:26
общий
это ответ
Здравствуйте, Dflame.
Обозначим предикаты следующим образом: P(x): «x – спортсмен», Q(x): «x имеет хорошее здоровье». Тогда данное рассуждение основано на такой логической схеме:
([$8704$]x)(P(x) → Q(x)), ¬P(a) ╞ ¬Q(a).
Действительно,
([$8704$]x)(P(x) → Q(x)) ≡
≡ ¬(([$8707$]x)¬(P(x) → Q(x)) ≡
≡ ¬(([$8707$]x)¬(¬P(x) v Q(x)) ≡
≡ ¬(([$8707$]x)¬(Q(x) v ¬P(x)) ≡
≡ ¬(([$8707$]x)¬(¬Q(x) → ¬P(x)) ≡
≡ ([$8704$]x)(¬Q(x) → ¬P(x)),
откуда следует правильность рассуждения.
С уважением.
Об авторе:
Facta loquuntur.