Ну так и выше написанное - строгое доказательство. Или имеется в виду, что требуется именно полная таблица истинности для всех четырёх высказываний?
Выше написанное формально:
c = пришёл не поздно,
g = хорошее настроение,
t = телевизор,
e = ест.
Известно, что следующие два высказывания истинны:
(c [$8743$] g) [$8594$] t,
t [$8594$] e.
Таблица истинности для импликации:
.
Т.к. t [$8594$] e истинно и он не ел(e=F), то t=F.
Т.к. истинно (c [$8743$] g) [$8594$] t и t=F, то (c [$8743$] g)=F.
Из таблицы истинности для конъюнкции:
,
и того, что c=T, заключаем, что g=F.