Математика не лежит,
если учитывать контекст.
Modus,
устанавливающий ponens (или modus ponens, MP), является допустимой формой
аргумента и правилом вывода в логике высказываний. В МП это часть условного
(если P, то Q), первый или антецедент P задан или подтвержден, и делается
вывод, что последовательный или Q истинно. Утверждение: «Если P означает Q, а P истинно, то Q также верно».
Если P, то Q. P. Поэтому Q. (Утверждение антецедента)
Неверная
ошибка или аргументация:
Если P, то Q. Q.
Поэтому P. (Утверждение последующего)
Рассмотрим
следующую ситуацию. Хуан, возвращаясь домой, проезжает мимо магазина
электроприборов, в котором отображаются несколько моделей телевизоров с плоским
экраном. Думая о Чемпионате мира по футболу 2018 года, он останавливается на
мгновение, чтобы рассмотреть впечатляющие изображения в красочной модели.
Продавец замечает его интерес, говорит ему, что он стоит 1000 долларов, но если
он покупает в тот момент, телевизор должен заплатить только $. 750. Таким
образом, Хуан сэкономит 250 долларов.
Вопрос 1. Если Джон покупает
телевидение, какой будет весомый аргумент?
Во-первых: если я заплачу за
телевидение 750 долларов, я сохраню.
Я плачу по 750 долларов за
телевизор.
Затем я спасаю.
Второе: если я заплачу
за телевидение 750 долларов, я сэкономлю,
Я сохраняю
Тогда я заплатил всего
750 долларов за телевизор
Вопрос 2. Сколько стоит Хуан?
(Деталь: у Хуана не было или было намерение купить телевизор, прохождение через
магазин было случайным)