Modus ponens
Материал из Википедии — свободной энциклопедии
Modus ponens — правило вывода в исчислении высказываний. Является частным случаем правила резолюций.
Форма записи: , где A, B — любые формулы.
Modus ponens — правило вывода в исчислении высказываний. Является частным случаем правила резолюций.
Форма записи: , где A, B — любые формулы.