У вас нет прав на редактирование этой страницы по следующей причине:
Запрошенное действие могут выполнять только участники из группы «Участники».
Текст:
Равносильности формул логики высказываний часто называют законами логики.<BR>Знание законов логики позволяет проверять правильность рассуждений и доказательств.<BR>Нарушения этих законов приводят к логическим ошибкам и вытекающим из них противоречиям.<BR>Перечислим наиболее важные из них:<BR> 1. Закон тождества<BR> 2. Закон противоречия<BR> 3. Закон исключенного третьего<BR> 4. Закон двойного отрицания<BR> 5. Законы идемпотентности<BR> 6. Законы коммутативности(переместительности) <BR> 7. Законы ассоциативности (сочетательности)<BR> 8. Законы дистрибутивности(распределительности)<BR> 9. Законы де Моргана <BR> 10.Законы поглощения<BR> 11.Законы склеивания<BR> <B>1-й закон</B> сформулирован древнегреческим философом Аристотелем. Закон тождества утверждает, что мысль, заключенная в некотором высказывании, остается неизменной на протяжении всего рассуждения, в котором это высказывание фигурирует. <B>Закон противоречия</B> говорит о том, что никакое предложение не может быть истинно одновременно со своим отрицанием.<BR>“Это яблоко спелое” и “Это яблоко не спелое”. <B>Закон исключенного третьего</B> говорит о том, что для каждого высказывания имеются лишь две возможности: это высказывание либо истинно либо ложно. Третьего не дано. “Сегодня я получу 5 либо не получу”. Истинно либо суждение, либо его отрицание. '''Закон двойного отрицания'''. Отрицать отрицание какого-нибудь высказывания - то же, что утверждать это высказывание.<BR>“ Неверно, что 2</FONT><FONT face=Symbol>*</FONT><FONT face="Times New Roman"> </FONT>2<FONT face=Symbol>=</FONT> 4” </P> '''Законы идемпотентности'''. В алгебре логики нет показателей степеней и коэффициентов. Конъюнкция одинаковых “сомножителей” равносильна одному из них. <B>Законы коммутативности и ассоциативности.</B> Конъюнкция и дизъюнкция аналогичны одноименным знакам умножения и сложения чисел.<BR>В отличие от сложения и умножения чисел логическое сложение и умножение равноправны по отношению к дистрибутивности: не только конъюнкция дистрибутивна относительно дизъюнкции, но и дизъюнкция дистрибутивна относительно конъюнкции.</FONT></P> <P><FONT face="Times New Roman"><B>Смысл законов де Моргана</B> (Август де Морган (1806-1871) - шотландский математик и логик) можно выразить в кратких словесных формулировках:<BR> 1. отрицание логического произведения эквивалентно логической сумме отрицаний множителей.<BR> 2. отрицание логической суммы эквивалентно логическому произведению отрицаний слагаемых.</FONT></P> <P><FONT face="Times New Roman"><B>Доказать законы логики можно:<BR></B> 1) с помощью таблиц истинности;<BR> 2) с помощью равносильностей</FONT>.<br> <center>[[Логика для школьников]] [[Категория:Понятие]] [[Категория:Словарь]] [[Категория:Образование]]
Описание изменений:
Малое изменение Включить эту страницу в список наблюдения
Отменить