второй вариант ответ

Кратко по варианту 2

1. Высказывание — повествовательное предложение, в котором что-либо утверждается или отрицается и о котором можно однозначно сказать, истинно оно или ложно.
2. Логика — наука о законах и формах правильного мышления; в информатике — о правилах рассуждений и логических операциях.
3. Логическая операция — действие над одним или несколькими высказываниями, дающее новое высказывание; его истинность определяется истинностью исходных. Примеры: НЕ, И, ИЛИ, импликация, эквивалентность.
4. Импликация \(A \to B\) — «если \(A\), то \(B\)». Она ложна только тогда, когда \(A\) истинно, а \(B\) ложно; в остальных случаях истинна.
5. \(\overline A \leftrightarrow B\) — «не \(A\) тогда и только тогда, когда \(B\)». То же самое: «\(B\) истинно ровно тогда, когда \(A\) ложно».

Как понять принцип

• В №1 важно, что высказывание обязательно имеет истинностное значение. Вопросы, просьбы и восклицания высказываниями не являются.
• В №3 логическая операция не зависит от смысла фраз — она работает с истиной и ложью. Поэтому сложное высказывание строится по строгому правилу.
• В №4 удобно запомнить таблицу импликации:

• В №5 черта над \(A\) означает отрицание: \(\overline A\) — это «не \(A\)». Знак \(\leftrightarrow\) означает «тогда и только тогда» и бывает истинным, когда обе его части одинаковы по истинности. Поэтому \(B\) должно совпадать с \(\overline A\).

  Можно также расшифровать так: «если не \(A\), то \(B\), и если \(B\), то не \(A\)».