Обсуждение:Modus ponens

Как правильно читается на латинском? 188.232.116.226 15:35, 10 декабря 2011 (UTC) Andrey

"модус поненс", очевидно.

Которое из высказываний является условным высказыванием ($A\to B$), а которое - его основанием ($A$): "металлы являются проводниками тока" и "цинк является металлом"?

(возможно, я слишком буквально понимаю определение "основание")

Здесь скорее общее утверждение (первое) и частное утверждение относительно причастности некоего объекта к объекту общего утверждения как к множеству (второе), на основании чего выводится утверждение об объекте второго утверждения на основании более общего первого утверждения - т.е. основанием является первое утверждение, но из описания явствует скорее обратное. Если кто-либо в курсе - проясните, пожалуйста. Grandalf 89.178.138.8 07:02, 10 января 2015 (UTC)

• В этом примере A = "X является металлом", B = "X является проводником", ($A\to B$) = "всякий X, являющийся металлом, является проводником" = "всякий металл является проводником"; далее полагаем X := "цинк", тогда A = "цинк является металлом", и уже с этого момента можно применять modus ponens. Возможно, этот пример в статье не слишком удачный, именно потому, что с первого взгляда не очевидно, чем является каждое утверждение. Надеюсь, коллеги-участники предложат пример получше, я бы хотел и сам предложить, но в данный момент ничего в голову не приходит.--Hint°°° 16:03, 11 января 2015 (UTC)