Как modus pomens используется в этой последовательности доказательств?

Вот моя проблема:

enter image description here

Почему это работает специально для шага 7, p и p подразумевают r. Я могу понять, как показать, что r подразумевает, а не q. Может ли кто-нибудь также сказать мне, что означает modus ponens и как он используется в контексте?

Я голосую за то, чтобы закрыть этот вопрос как не по теме, потому что он касается математики, а не непосредственно о программировании / кодировании / программных алгоритмах / инструментах программирования.

Pang 07.12.2018 02:17
2
1
496
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Вот соответствующие утверждения с изображения:

  1. p (дано)
  2. p -> r (дано)
  3. (3-6 обрезано)
  4. г (modus ponens 1, 2)

Статья в Википедии о Modus Ponens очень хорошо это объясняет. Цитата с удалением / изменением некоторых частей:

The argument form has two premises (hypothesis). The first premise is that P, the antecedent of the conditional claim, is true. The second premise is the "if–then" or conditional claim, namely that P implies R. From these two premises it can be logically concluded that R, the consequent of the conditional claim, must be true as well.

An example of an argument that fits the form modus ponens:

  • Today is Tuesday. (P)
  • If today is Tuesday, then John will go to work. (P -> R)
  • Therefore, John will go to work. (R)

Modus ponens - это правило умозаключений, используемое для создания новых логических утверждений из действительных посылок.

Другие вопросы по теме