Автор работы: Пользователь скрыл имя, 27 Октября 2014 в 01:10, контрольная работа
Проверьте корректность следующих рассуждений средствами логики высказываний.
Если я поеду автобусом, а автобус опоздает, то я пропущу назначенное свидание. Если я пропущу назначенное свидание и начну огорчаться, то мне не следует ехать домой. Если я не получу эту работу, то начну огорчаться и мне следует поехать домой. Следовательно, если я поеду автобусом, и автобус опоздает, то я получу эту работу.
M P .
S M 1 – я фигура. Ее правила соблюдены
S — P
Вывод следует, то есть в демонстрации ошибки нет.
Но нарушено правило, согласно которому аргументы должны быть истинными суждениями. Большая же (пропущенная) посылка ложна.
Таким образом, доказательство использует ложный аргумент, а потому неправильно.