АЛГЕБРА ВЫСКАЗЫВАНИЙ является составной частью одного из современных быстро развивающихся разделов математики – математической логики. Математическая логика применяется в информатике, позволяет моделировать простейшие мыслительные процессы. Одним из занимательных приложений алгебры высказываний – решение логических задач.
Умозаключение— это способ получения нового знания на основе некоторого имеющегося. Он представляет собой переход от некоторых высказываний, фиксирующих наличие некоторых ситуаций в действительности, к новому высказыванию и соответственно к знанию о наличии ситуации, которую описывает это высказывание.
Логическое высказывание — это любое повествовательное пpедлoжение, в oтнoшениикoтopoгo можно oднoзначнo сказать, истинно oнo или лoжнo.