Молекулярные (сложные) суждения
Сложные суждения Исчисление высказываний Понятие высказывания Формы высказываний Логические значения высказываний Виды сложных суждений Отрицание Конъюнкция Дизъюнкция Исключающая (строгая) дизъюнкция Импликация Эквиваленция (эквивалентность) Логические отношения между сложными суждениями и их членами Функция истинности Вычисление функции истинности Равносильные формулы Исчисление высказываний
Понятие высказывания Высказывание – предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) высказывания, истинно, то и высказывание истинно; ложным же называется высказывание, выражающее ложное суждение. Логические постоянные – логические союзы (связки) и кванторы. Логические операторы – символы, представляющие логические связки и кванторы. Логические (пропозициональные) связки – слова и словосочетания «не», «неверно, что», «и», «или», «либо..., либо», «если..., то», «тогда и только тогда, когда» и др., а также их ближайшие синонимы. Кванторы – словосочетания «для всех… имеет место, что», «для некоторых имеет место, что» и их ближайшие синонимы. Элементарные высказывания – высказывания, не содержащие логических постоянных. Сложные высказывания – высказывания, содержащие логические постоянные.