[Список тем] [Вступление к этой теме] Страницы темы: [1] [2] [3]
Математическая логика служит средством формализации математических рассуждений и доказательств. Алгебра логики или алгебра высказываний рассматривает вопросы, связанные с образованием сложных высказываний из простых при помощи логических связок и отрицаний. Алгебра логики - это математический аппарат, с помощью которого записывают (кодируют), упрощают, вычисляют и преобразовывают логические высказывания. Логическое высказывание - это любое предложение, в отношении которого можно однозначно сказать, истинно оно или ложно. Например: "6 - четное число", "2 > 3" и т.д. Истинность любого высказывания принимает одно из двух возможных логических значений: "истина" или "ложь". Два высказывания называются эквивалентными, если значения их истинности одинаковы. Например, высказывания " 2 < 3 " и "6 - четное число" - эквивалентны. В основе обработки информации компьютером лежит алгебра логики, разработанная английским математиком и епископом Джорджем Булем. Величины в математической логике могут быть только двух типов: 0 - ложь и 1 - истина