Сопоставьте логические высказывания с формулами: 'Если Петя сходит на концерт, то не сделает доклад', 'Если Петя не сходит на концерт, то сделает доклад', 'Если Петя сходит на концерт, то сделает доклад'.

Для решения задачи нужно сопоставить фразы на естественном языке с логическими формулами. В логике символ $\rightarrow$ означает «если..., то...», а черта над буквой (инверсия) означает отрицание «не». Дано: $A$ — «Петя сходит на концерт» $B$ — «Петя делает доклад» Сопоставим варианты: 1. **Если Петя сходит на концерт, то не сделает доклад** Это условие $A$ («Петя сходит») влечет за собой отрицание $B$ («не сделает доклад»). Формула: $A \rightarrow \overline{B}$ 2. **Если Петя не сходит на концерт, то сделает доклад** Отрицание $A$ («не сходит») влечет за собой $B$ («сделает доклад»). Формула: $\overline{A} \rightarrow B$ 3. **Если Петя сходит на концерт, то сделает доклад** Условие $A$ («сходит») влечет за собой $B$ («сделает доклад»). Формула: $A \rightarrow B$ **Ответ:** 1-я фраза $\leftrightarrow A \rightarrow \overline{B}$ 2-я фраза $\leftrightarrow \overline{A} \rightarrow B$ 3-я фраза $\leftrightarrow A \rightarrow B$