Советский философский словарь - логические операции
Связанные словари
Логические операции
логические операции
логич. операторы, логич. связки, функции, преобразующие выражения логич. исчислений (формальных логич. систем); подразделяются на пропозициональные (сентенциональные) связки, с помощью к-рых образуются выражения логики высказываний, и кванторы, введение к-рых позволяет расширить логику высказываний до логики предикатов. Л. о. позволяют строить сложные высказывания из нек-рых элементарных, подобно тому как союзы, союзные слова и обороты служат для построения сложных предложений из простых в естеств. языках. Напр., в классич. двузначной логике, в к-рой высказывания могут быть только либо истинными, либо ложными, Л. о. конъюнкции интерпретируется как союз «и» и его многочисл. синонимы и оттенки («а», «да», «но», «хотя», «между тем как», «а также», «кроме того» и т. д.); дизъюнкциикак один из смыслов («неразделительный») союза «или»; отрицание как частица «не» и её языковые эквиваленты; импликациипримерно как обороты «если ..., то ...» и «из... следует...» или глагол «влечёт»; эквиваленции как оборот «тогда и только тогда, когда» и его синонимы и т. п. Соответствие это не взаимнооднозначно и приблизительно; поэтому точные определения Л. о. задаются не «переводами» их на естеств. языки, а либо посредством т. н. истинностных таблиц (или таблиц истинности), указывающих, какое из двух истинностных значений «и» («истина») или «л» («ложь») принимает результат применения данной Л. о. к нек-рым исходным высказываниям при каждом конкретном распределении истинностных значений этих исходных высказываний, либо заданиемнадлежащих постулатов (логич. аксиом и правил вывода). Изоморфная (см. Изоморфизм и гомоморфизм) интерпретируемость классич. логики высказываний в терминах логики классов обусловливает существование теоретико-множеств. операций, аналогичных каждой из её Л. о. в том смысле, что они подчиняются одним и тем же взаимным соотношениям и образуют булевы алгебры (соответственно алгебру высказываний и алгебру множеств; см. Алгебра логики).
Рейтинг статьи:
Вопрос-ответ:
Что такое логические операции
Значение слова логические операции
Что означает логические операции
Толкование слова логические операции
Определение термина логические операции
logicheskie operacii это
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1816 | |
2 | 1431 | |
3 | 1240 | |
4 | 1171 | |
5 | 1158 | |
6 | 1114 | |
7 | 922 | |
8 | 847 | |
9 | 808 | |
10 | 780 | |
11 | 765 | |
12 | 750 | |
13 | 726 | |
14 | 715 | |
15 | 714 | |
16 | 697 | |
17 | 695 | |
18 | 672 | |
19 | 670 | |
20 | 656 |