Как строятся базовые сложные высказывания в логике?

Сложные (составные) высказывания в логике строятся из нескольких простых высказываний с помощью логических связок — операций «НЕ», «И», «ИЛИ», «ЕСЛИ…, ТО» и других. nsportal.ru ru.ruwiki.ru

Некоторые виды логических операций и их описание:

• Логическое «НЕ» (инверсия). ru.ruwiki.ru Каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному. ru.ruwiki.ru Если исходное высказывание ложно, то новое истинно, и наоборот. nsportal.ru
• Логическое «И» (конъюнкция). ru.ruwiki.ru Ставит в соответствие двум высказываниям новое высказывание, которое истинно только тогда, когда оба исходных высказывания истинны. ru.ruwiki.ru
• Логическое «ИЛИ» (дизъюнкция). ru.ruwiki.ru Ставит в соответствие двум высказываниям новое высказывание, которое истинно, когда хотя бы одно высказывание истинно или оба одновременно. ru.ruwiki.ru
• Условное высказывание (импликация). spravochnick.ru Состоит из двух простых высказываний. spravochnick.ru То, что стоит за словом «если», называется предпосылкой, основанием, условием, а высказывание после слова «то» — следствием, выводом, или консеквентом. spravochnick.ru
• Эквивалентность. spravochnick.ru Сложное высказывание вида «A, если и только если B». spravochnick.ru Образуется из высказываний A и B и раскладывается на две импликации: «если A, то B» и «если B, то A». spravochnick.ru