Переведите следующие предложения на язык логики, выделив простые суждения и указав логическую связку (конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание): • «Если в тексте есть метафора, то он художественный, но не всякий художественный текст

Для решения этой задачи мы будем использовать следующие обозначения логических связок:

• $\land$ — конъюнкция («и», «но»)
• $\lor$ — дизъюнкция («или»)
• $\rightarrow$ — импликация («если..., то...»)
• $\leftrightarrow$ — эквиваленция («тогда и только тогда»)
• $\neg$ — отрицание («неверно, что...»)

1. «Если в тексте есть метафора, то он художественный, но не всякий художественный текст содержит метафору».

Дано:

• $A$: «В тексте есть метафора».
• $B$: «Текст является художественным».

Разбор: Предложение состоит из двух частей, соединенных союзом «но» (логическ...