Логические операции

«не» к сказуемому или использования оборота речи «неверно, что …».
Например: Я не знаю китайского языка. Неверно, что я знаю китайский язык
Обозначение инверсии: НЕ А; А; A; NOT A

когда высказывание ложно.

помощью союза «и».

Например: На автостоянке обычно стоят две машины: «Мерседес» и «Жигули», но может находиться и какая-то одна из них или не быть ни одной. Обозначим высказывания: А=На автостоянке стоит «Мерседес». В=На автостоянке стоят «Жигули». (А конъюнкция В) = На автостоянке стоят «Мерседес» и «Жигули».

Обозначение конъюнкции: А И В; А∧В; А&B; A AND B.

истинна тогда и только тогда, когда оба высказывания истинны, и ложна, когда хотя бы одно высказывание ложно.

помощью союза «или».

Например: На автостоянке обычно стоят две машины: «Мерседес» и «Жигули», но может находиться и какая-то одна из них или не быть ни одной. Обозначим высказывания: А=На автостоянке стоит «Мерседес». В=На автостоянке стоят «Жигули». (А дизъюнкция В) = На автостоянке стоят «Мерседес» или «Жигули».

Обозначение дизъюнкции: А ИЛИ В; А∨В; А⏐B; A OR B; А+В.

ложна тогда и только тогда, когда оба высказывания ложны, и истинна, когда хотя бы одно высказывание истинно.

помощью оборота речи «если …, то …».

Например: А=Если клятва дана, то она должна выполнятся. В=Если число делится на 9, то оно делится на 3. В логике допустимо рассматривать и бессмысленные с житейской точки зрения высказывания. С = Если коровы летают, то 2+2=5. Пусть даны высказывания: А=На улице дождь. В=Асфальт мокрый. (А импликация В)= Если на улице дождь, то асфальт мокрый.

Обозначение конъюнкции: А→В; А⇒B; если А, то В; А влечет В; В следует из А.

ложна тогда и только тогда, когда из истинного высказывания следует ложное.

помощью оборота речи «…тогда и только тогда, когда …».

Например: Угол называется прямым тогда, когда он равен 90 градусам. Обозначим высказывания: А=Число делится на 3 без остатка. В=Сумма цифр числа делится нацело на 3. (А эквивалентно В) = Число кратно 3 тогда и только тогда, когда сумма его цифр делится нацело на 3.

Обозначение эквивалентности: А≡В; А⇔B; А ~ В.

ложна тогда и только тогда, когда оба высказывания истинны или оба ложны.