На решение дается часа два. Работа из двух частей. Первая на фото. Вторая: 1) запись предложений русского языка на языке логики высказываний
2) установление табличным способом статуса формулы и правильности рассуждения
3)установление правильности рассуждения без таблиц истинности( по модусам )
4)осуществление отрицания сложных высказываний