Принципы мыслительной деятельности

Так, закон тождества выражается логической формулой А ? А (А равносильно А) или А->А («Если А, то А»).

Закон противоречия выражается формулой ¬ (А^ ¬А) («Неверно, что А и не-А).

Закон исключенного третьего - A v ¬А (А или не-А).

Считается, что закон достаточного основания символически выразить нельзя, так как это исключительно содержательный закон. Приведем пример толкования подобных формул. Так, сложные высказывания типа: «Закон принят, или закон не принят», «Решение суда правильное, или решение суда неправильное», имея формулу Av¬А (закон исключенного третьего), истинны независимо от того, истинны или ложны образующие их элементарные суждения. Вот таблица истинности этой формулы:

Наряду с тождественно-истинными формулами есть еще тождественно-ложные формулы. Ими выражаются логические противоречия.

Благодаря табличному способу символическая логика (логика высказываний) в состоянии эффективно выявлять как тождественно-истинные формулы, так и тождественно-ложные формулы - законы логики и логические противоречия. В этом ее громадный шаг вперед по сравнению с традиционной логикой

Список используемой литературы

1. Гетманова А.Д., Учеб. 12-е издание, Москва, 2007 г.
2. Кузнецов Н. Логика – М., 1999г
3. Логика. Учеб. Под ред. Иванова Е.И., Москва, 2000 г.
4. Михайлов К.Р. О мышлении. – М., 1993г.