Логика: краткий теоретический курс. Веревичев И.И. - 38 стр.

UptoLike

Составители: 

Рубрика: 

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