ПО, ЭВМ и АСУ из Таможенного Союза

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.

Модус поненс

Страница: 1

Сообщений 1 страница 2 из 2

1

  • Автор: Лис [К]
  • Сочувствующий
  • Лис [К]
  • Зарегистрирован: 2019-05-16
  • Приглашений: 0
  • Сообщений: 1009
  • Уважение: [+1/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    6 дней 3 часа
  • Последний визит:
    2021-02-04 17:36:28

https://ru.wikipedia.org/wiki/Modus_ponens

Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом,
позволяет от утверждения условного высказывания A → B и утверждения его основания A (антецедента) перейти к утверждению следствия B (консеквента).

Является частным случаем правила резолюций.

Правило вывода

Отредактировано Лис (2019-11-24 18:56:04)

0

2

  • Автор: Лис [К]
  • Сочувствующий
  • Лис [К]
  • Зарегистрирован: 2019-05-16
  • Приглашений: 0
  • Сообщений: 1009
  • Уважение: [+1/-0]
  • Позитив: [+0/-0]
  • Провел на форуме:
    6 дней 3 часа
  • Последний визит:
    2021-02-04 17:36:28

https://pbs.twimg.com/media/DfK_yziWkAARWLG.jpg

Отредактировано Лис (2019-11-24 18:54:23)

0

Страница: 1