Условие задачи
1. Составьте таблицу истинности для формулы и укажите, является ли она выполнимой, опровержимой, тождественно истинной (тавтологией) или тождественно ложной (противоречием)
2. Докажите, что справедливо логическое следование, руководствуясь определением этого понятия; выясните, будет ли верно обратное следование, т.е. будет ли формула, стоящая слева, логическим следствием формулы справа
Ответ
1.
Формула выполнима и опровержима.
2. По определению 
если при истинной обязательно истинна . Построим таблицы истинности
Потяни
