Консультация № 173182
11.10.2009, 19:14
0.00 руб.
0 3 1
Прошу срочной помощи Ув. эксперты!
Установить правильность рассуждения, построив вывод исчисления предикатов.
Все спортсмены имеют хорошее здоровье. У Федора плохое здоровье. Следовательно, Федор – не спортсмен.

Обсуждение

давно
Мастер-Эксперт
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.
Неизвестный
14.10.2009, 16:29
общий
Гордиенко Андрей Владимирович:
А что означает этот(╞ ) символ???
давно
Мастер-Эксперт
17387
18353
14.10.2009, 19:34
общий
Dflame:
Этот символ обозначает тавтологию.
Об авторе:
Facta loquuntur.
Форма ответа