Проект "логика для чайников". Параграф 35

Modus ponens

Дальше речь пойдет о свойствах условных высказываний.

Краткое отступление для людей, хорошо знакомых с математической логикой. Речь пойдет НЕ о материальной импликации. Свойства операции ЕСЛИ...ТО... в некоторых тонкостях отличаются от свойств материальной импликации. Они отражают общие принципы рассуждений на естественном языке, в том числе и принципы рассуждений в математических учебниках. Конец краткого отступления.

Первое свойство условных высказываний называется по латыни modus ponens.
( Read more... )

Как TopGear издевался над "ладой"

Ржачка от Мишкиса :)
http://community.livejournal.com/pg_forever/515116.html