Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
Аннотация к работе
Основы логики Логические величины Высказывание (суждение) - это повествовательное предложение, в котором что-либо утверждается или отрицается. Логические величины: понятия, выражаемые словами: ИСТИНА (true), ЛОЖЬ (false). В математической логике используются знаки & Конъюнкция - двухместная операция, записывается в виде А^В (А, В - операнды). Операция A => B определяет логическую функцию, тождественно совпадающую с функцией не A или B.