ВУЗ:
Составители:
Рубрика:
37
Можно вместо такого “поэтапного” исчисления истинности формулы
решать поставленную задачу и более рациональным образом:
р q ((p → q) ^ ┐q) → ┐р
и и и л л и л
и л л л и и л
л и и л л и и
л л и и и и и
1 4 2 5 3
В данных таблицах цифрами обозначена последовательность логических
действий исчисления истинностных значений рассматриваемой формулы.
Поскольку в результате последней операции - действия 5 – формула в конечном
итоге принимает только истинностные значения при любых значениях
входящих в нее переменных, то эта логическая формула является
тождественно-истинностной. Такие формулы представляют собой логические
стандарты правильного мышления - законы логики. Логические формулы,
принимающие разные значения, называются выполнимыми. Логические
формулы, принимающие только значения “ложно”, называются абсурдными:
они недопустимы в логическом мышлении.
ОСНОВНЫЕ ЗАКОНЫ ЛОГИКИ
Мир в целом представляет собой бесконечную комбинацию
упорядоченных и хаотичных явлений. Научные теории пытаются установить
законономерности проявления порядка среди хаоса. В их законах выражаются
необходимые и существенные, устойчивые и повторяющиеся связи и
отношения, существующие между предметами, явлениями или процессами.
Законы мышления характеризуют необходимые и устойчивые связи
между мыслями. Законы логики действуют независимо от воли и желания
людей и в этом смысле они также объективны, как и законы природы. Законы
логики во все времена отражали упорядоченность процессов человеческого
мышления и поэтому являются универсальными и необходимыми
императивами правильного мышления. Среди законов выделяют несколько
наиболее важных и очевидных утверждений, которые по сути являются
методологическими принципами правильного мышления – основными
законами логики. Основные законы есть своего рода аксиомы,
упорядочивающие процесс мышления. Они составляют фундамент не только
самого здания логики, но и всего рационального мышления в целом. К
основным законам логики относят: закон тождества, закон непротиворечия,
закон исключенного третьего и закон (принцип) достаточного основания.
Страницы
- « первая
- ‹ предыдущая
- …
- 36
- 37
- 38
- 39
- 40
- …
- следующая ›
- последняя »
