Основные законы логики
Законы логики отражают наиболее важные закономерности логического мышления. В алгебре высказываний законы логики записываются в виде формул, которые позволяют проводить эквивалентные преобразования логических выражений в соответствие с законами логики.
Закон тождества. Всякое высказывание тождественно самому себе: А = A
Закон непротиворечия. Высказывание не может быть одновременно истинным и ложным. Если высказывание A — истинно, то его отрицание не A должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания должно быть ложно: A = 0
Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означает, что результат логического сложения высказывания и его отрицания всегда принимает значение истина: A∨ = 1
Закон двойного отрицания. Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание: = A
1 | 2 | 3 | 4 | 5 | Поиск по сайту:
|