Адаптации растений и животных к жизни в горах: Большое значение для жизни организмов в горах имеют степень расчленения, крутизна и экспозиционные различия склонов...
Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...
Топ:
Характеристика АТП и сварочно-жестяницкого участка: Транспорт в настоящее время является одной из важнейших отраслей народного хозяйства...
Проблема типологии научных революций: Глобальные научные революции и типы научной рациональности...
Эволюция кровеносной системы позвоночных животных: Биологическая эволюция – необратимый процесс исторического развития живой природы...
Интересное:
Искусственное повышение поверхности территории: Варианты искусственного повышения поверхности территории необходимо выбирать на основе анализа следующих характеристик защищаемой территории...
Финансовый рынок и его значение в управлении денежными потоками на современном этапе: любому предприятию для расширения производства и увеличения прибыли нужны...
Мероприятия для защиты от морозного пучения грунтов: Инженерная защита от морозного (криогенного) пучения грунтов необходима для легких малоэтажных зданий и других сооружений...
Дисциплины:
2017-12-21 | 1029 |
5.00
из
|
Заказать работу |
|
|
Наряду с алфавитом и правилами построения сложных высказываний (логических формул), языки логики высказываний содержат правила преобразования логических формул.
Правила преобразования реализуют общелогические законы и обеспечивают логически правильные рассуждения. Корректность допустимых в логике преобразований является фундаментальным свойством формальной (математической) логики.
Процесс получения новых знаний, выраженных высказываниями, из других знаний, также выраженных высказываниями, называется рассуждением (умозаключением).
Исходные высказывания называются посылками (гипотезами, условиями), а получаемые высказывания — заключением (следствием).
Правило заключения — утверждающий модус (Modus Ponens): «Если из высказывания A следует
высказывание B и справедливо (истинно)
высказывание A, то справедливо В».
Обозначается:
Для построения логических формул,
отражающих логически правильные ((A ® B)&A) ® B
рассуждения, следует все посылки
соединить конъюнкцией & и полученную таким образом обобщенную посылку связать импликацией ® с выводом
Рассуждение А→В, В НЕ является логически правильным. А
Выделены клетки, соответствующие наборам переменных при которых истинны обе посылки.Во втором рассуждении истинным значениям посылок соответствуют А=0 и А=1, следовательно нельзя утверждать, что А- верно.
Пример анализа рассуждений
«Если рабочий отсутствовал на работе (А), то он не выполнил задание (В). Рабочий не выполнил задание. Следовательно, он отсутствовал на работе».
Схема рассуждений А→В, В
А Данное рассуждение НЕ является логически правильным
Логически правильным будет рассуждение (А→В, А) \В
|
«Если рабочий отсутствовал на работе (А), то он не выполнил задание (В). Рабочий отсутствовал на работе. Следовательно, он не выполнил задание».
Правило отрицания — отрицательный модус (Modus Tollens)
«Если из A следует B, но высказывание А→В, ùВ
В неверно, то неверно и A» ùА
Пример: «Если рабочий отсутствовал на работе (А), то он не выполнил задание (В). Рабочий выполнил задание. Следовательно, он присутствовал на работе.»
Рассуждение А→В, ùА НЕ является логически правильным. ùВ
Пример: «Если рабочий отсутствовал на работе (А), то он не выполнил задание (В). Рабочий присутствовал на работе. Следовательно, он выполнил задание».
Правило утверждения–отрицания (Modus Ponendo–Tollens):
«Если справедливо или высказывание A, или высказывание B (в разделительном смысле) и истинно одно из них, то другое ложно»
Правило отрицания–утверждения (Modus Tollen–Ponens):
«Если истинно или A, или B (в разделительном смысле) и неверно одно из них, то истинно другое»
«Если истинно A или B (в неразделительном смысле) и неверно одно из них, то истинно другое»
Правило транзитивности (упрощенное правило силлогизма)
«Если из A следует B, и из B следует C, то из A следует C»
Закон противоречия:
«Если из A следует B и ØB, то неверно A»
Правило контрапозиции:
«Если из A следует B, то из того, что неверно B, следует, что неверно A»
Правило сложной контрапозиции:
«Если из A и B следует С, то из А и Ø С следует ØB»
Правило сечения:
«Если из A следует B, а из В и С следует D, то из А и С следует D»
Правила импортации (объединения) и экспортации (разъединения) посылок:
Правило дилемм:
|
|
Папиллярные узоры пальцев рук - маркер спортивных способностей: дерматоглифические признаки формируются на 3-5 месяце беременности, не изменяются в течение жизни...
Таксономические единицы (категории) растений: Каждая система классификации состоит из определённых соподчиненных друг другу...
Историки об Елизавете Петровне: Елизавета попала между двумя встречными культурными течениями, воспитывалась среди новых европейских веяний и преданий...
Типы оградительных сооружений в морском порту: По расположению оградительных сооружений в плане различают волноломы, обе оконечности...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!