Entry tags:
Проект "логика для чайников". Параграф 35
Modus ponens
Дальше речь пойдет о свойствах условных высказываний.
Краткое отступление для людей, хорошо знакомых с математической логикой. Речь пойдет НЕ о материальной импликации. Свойства операции ЕСЛИ...ТО... в некоторых тонкостях отличаются от свойств материальной импликации. Они отражают общие принципы рассуждений на естественном языке, в том числе и принципы рассуждений в математических учебниках. Конец краткого отступления.
Первое свойство условных высказываний называется по латыни modus ponens.
( Read more... )
Дальше речь пойдет о свойствах условных высказываний.
Краткое отступление для людей, хорошо знакомых с математической логикой. Речь пойдет НЕ о материальной импликации. Свойства операции ЕСЛИ...ТО... в некоторых тонкостях отличаются от свойств материальной импликации. Они отражают общие принципы рассуждений на естественном языке, в том числе и принципы рассуждений в математических учебниках. Конец краткого отступления.
Первое свойство условных высказываний называется по латыни modus ponens.
( Read more... )