Алгебра - логика
Cтраница 1
Алгебра логики, аппарат к-рой применяется им для описания операциональных структур, понимается как аксиоматика мышления, а психология - как соответствующая ей эксперимент, наука. Логика как идеальная модель мышления не нуждается в апелляции к психологич. Но между логикой и психологией должно быть определ. [1]
Алгебра логики - раздел математической, или формальной, логики, в котором исследуются высказывания и соотношения между ними. Сложные высказывания составляются из простых высказываний при помощи логических связок НЕ, И, ИЛИ, ИЛИ... Истинность или ложность сложного высказывания является функцией истинности или ложности простых высказываний, входящих в его состав. [2]
Алгебра логики - раздел математической, или формальной, логики, в котором исследуются высказывания и соотношения между ними. Сложные высказывания составляются из простых высказываний при помощи логических связок не, и, или, или... Истинность или ложность сложного высказывания является функцией истинности или ложности простых высказываний, входящих в его состав. [3]
 |
Схема для иллюстрации операции дизъюнкции ( логического сложения.| Схема играющего автомата. [4] |
Алгебра логики, являясь удобным языком для описания действия различных схем с помощью формул, позволяет упрощать формулы и описываемые ими схемы. При выполнении различных преобразований удобно пользоваться следующими правилами. [5]
Алгебра логики - раздел математической логики, основанный на применении алгебраических методов к изучению логических объектов - классов и высказываний. Помимо символов, обозначающих сами высказывания, вводятся символы для операций: конъюнкции, дизъюнкции, импликации, отрицания, с помощью к-рых из одних выражений А. Выражение будет сложным, если оно образовано из др. с помощью операций А. Два выражения называются равносильными, если при каждом возможном наборе значений простых выражений, в них входящих, они принимают одинаковые значения. И и Л для А и В: ИИ, ИЛ, ЛИ, ЛЛ - А - В принимает то н э вначение, что и А У В. [6]
Алгебра логики изучает логические функции. Сама логическая функция может быть также только двоичной. [7]
Алгебра логики оперирует с логическими высказываниями. [8]
Алгебра логики - система алгебраических методов решения логических задач; в узком смысле - это табличное, матричное построение логики высказываний, определяющее логические операции над ними. [9]
Алгебра логики переводит логические рассуждения в область алгебраических исчислений высказываний. [10]
Алгебра логики или булева алгебра ( названная так в честь английского математика XIX в. Джорджа Буля) представляет собою математический аппарат формального описания процессов в элементах и узлах ЦУ и ЭВМ. Оперирует булева алгебра с логическими переменными. [11]
Алгебра логики является аналогом обычной алгебры. [12]
Алгебра логики - не пустое множество элементов, являющееся ее областью, вместе с некоторым заданным набором операций, которые можно совершать над элементами, не выходя за пределы области. Область алгебры логики состоит из множества высказываний - законченных предложений, которые могут иметь одно из двух значений истинности: либо быть истинными, либо быть ложными. [13]
Алгебра логики представляет собой определенную часть математической логики, часто называемую исчислением высказываний. [14]
Алгебра логики не имеет возражений и против таких высказываний, как если 9 - нечетное число, то снег - бел. Это связано с тем, что математическая логика не учитывает содержания элементарных высказываний. Кроме того, окружение этого высказывания может быть таково, что его парадоксальность исчезнет. Это произойдет для последнего высказывания, например, если ему предшествуют предложения белого снега берут нечетное число ведер, иного снега берут четное число ведер, взято 9 ведер снега. Теперь не вызывает недоумения высказывание если 9 - нечетное число, то снег бел. Приведенный пример убеждает в целесообразности формального подхода к элементарным высказываниям, принятого в математической логике. [15]
Страницы: 1 2 3 4