Выполнила студентка группы ДЭЭ-109 Финаженок Эсмира Законы

Выполнила студентка группы ДЭЭ-109 Финаженок Эсмира

Законы де Моргана - это логические правила, связывающие пары логических операторов (конъюнкцию ( «и» ) и дизъюнкцию ( «или» ) при помощи логического отрицания, которые были названы в честь шотландского математика и логика Августа де Моргана

Эти законы можно выразить в следующих кратких словесных формулировках: * Отрицание конъюнкции равнозначно дизъюнкции двух отрицаний. ¬(А & В) → ¬А˅¬В Например: « Неверно, что сегодня не холодно и не сыро» означает «Сегодня холодно или сыро» . * Отрицание дизъюнкции равнозначно конъюнкции двух отрицаний. ¬(А ˅ В) → ¬А & ¬В Например: «Неверно, что идет дождь или идет снег» означает «Сегодня нет дождя и нет снега» .

Закон Дунса Скота (отрицания антецедента) - закон классической логики, характеризующий логическое противоречие. Закон можно представить так: «Ложное высказывание влечет (имплицирует) любое высказывание. » Представляется этот закон так: Например: Если он миллиардер, тогда я арабский шейх.

Законы контрапозиции «Закон контрапозиции» — это общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие условного высказывания. 1 й закон, называемый иногда законом простой контрапозиции, звучит так: если первое влечет второе, то отрицание второго влечет отрицание первого. (A → В) → (¬В→¬А) Например: «Если верно, что число, делящееся на десять, делится на пять, то верно, что число, не делящееся на пять, не делится на десять» . 2 й закон контрапозиции говорит: если верно, что если не-первое, то не-второе, то верно, что если второе, то первое. Например: «Если верно, что студент, не получивший 45 баллов не получит зачёт, то верно, что студент, получивший зачет, набрал 45 баллов» . 3 й закон звучит так: если дело обстоит так, что если А, то не-В, то если В, то не-А; Например: «Если шестиугольник не является квадратом, то квадрат не является шестиугольником» ; 4 й закон: если верно, что если не-А, то В, то если не-В, то А; Например: «Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно» .