- в естественном языке соответствует словам не верно и частице не; - обозначение ( А, А ); - в языке программирования not; - иное название: отрицание.

Отрицание - это логическая операция, которая каждому простому высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается. АА Пример: А=«Мы любим информатику» А=«Мы не любим информатику»

- в естественном языке соответствует союзу и ; - обозначение ( &, ^, * ); - в языке программирования and; - иное название: логическое умножение. Конъюнкция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.

АВА*В Пример: А=«Сегодня солнечный день» В=«Мы пойдем купаться» Составное высказывание: Х=«Сегодня солнечный день, и мы пойдем купаться» Х=А*В - истинно, когда истинно А и истинно В.

- в естественном языке соответствует союзу или ; - обозначение ( V, + ); - в языке программирования or ; - иное название: логическое сложение. Дизъюнкция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны и истинным, когда хотя бы одно из двух образующих его высказываний истинно.

АВА + В Пример: А=«Снег пойдет ночью» В=«Снег пойдет утром» Составное высказывание: Х=«Снег пойдет ночью или утром» Х=А + В - истинно, когда истинно А или В или оба высказывания истинны.

- в естественном языке соответствует обороту Если…, то... ; - обозначение ( ->, =>); - иное название: логическое следование. Импликация - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие истинно, а следствие ложно.

АВА=> В Пример: А=«Человек любит животных» В=«Он добрый» Составное высказывание: Х=«Если человек любит животных, то он добрый.» Х=А => В - ложно, когда истинно А и ложно В.

АВА=> В Если первое высказывание (предпосылка) ложна, то вне зависимости от второго высказывания (вывода) составное высказывание истинно. Таким образом, из неверной предпосылки может следовать что угодно.

- в естественном языке соответствует обороту речи Тогда и только тогда ; - обозначение ( ); - иное название: равнозначность. Эквивалентность - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

АВА В Пример: А=«Компьютер может производить вычисления.» В=«Компьютер включен.» Составное высказывание: Х=«Компьютер может производить вычисления тогда и только тогда, когда он включен.» Х=А В - истинно, когда А и В одновременно истинны или А и В одновременно ложны.