Логические величины, операции, выражения. Логические выражения в качестве условий в ветвлениях и циклических алгоритмах

Ответ:

Логика - наука о формах и способах мышления. Основными формами мышления являются понятие, суждение и умозаключение. Понятие фиксирует основные, существенные признаки объекта (обычно понятие объединяет некоторое множество - класс объектов). Высказывание (суждение) утверждает или отрицает что-либо о свойствах объектов и отношениях между ними; высказывание это повествовательное предложение, которое может быть истинным или ложным. Умозаключение из одного или нескольких исходных суждений (посылок) получается новое суждение (заключение).

Истинность и ложность простых высказываний (суждений) устанавливается на основании здравого смысла:

Сложное высказывание образуется путем объединения простых высказываний логическими связками (НЕ, И, ИЛИ и другими ). Истинность сложного высказывания зависит от истинности входящих в него простых высказываний и объединяющих их связок. Истинность или ложность сложного высказывания можно вычислить, используя алгебру логики.

В алгебре логикирассматривается только истинность или ложность высказывания, а не его смысл. Высказывания обозначаются именами логических переменных (а, b, c, x1, x2 и т.д.), которые могут принимать лишь два значения логических констант: истина (1) и ложь (0). Связки НЕ, И, ИЛИ и некоторые другие заменены логическими операциями.