Помогите пожалуйста! Решить задачу подробно и логично описать решение. Математическая логика.

Question

Если футболист не устал, то он пинает мяч. У футболиста хороше настроение тогда и только тогда, когда футболист не устал. Футболист пинает мяч. Значит, у него хороше настроение.

Answer 1

Условие тогда и только тогда означает эквивалентность высказываний не устал и хороше настроение - их можно свободно заменять одно на другое.
Условие если, то - импликация, которая может быть истинна как в случае Если не устал, то пинает мяч, так и в случае Устал, то пинает мяч. То есть из условия пинает мяч нельзя однозначно заявить устал или не устал. Из эквивалентности хороше настроение и не устал точно так же нельзя заявить однозначно, было ли у футболиста хороше настроение.
Пока я печатал свой подробный ответ, Юрий Семыкин ответил то же самое.

Answer 2

Футболист пинает мяч, но известно что но пинает мяч в том случае если не устал, значит футболист не устал. Если футболист не устал, то у него хороше настроение (по второму тезису) Следовательно если футболист пинает мяч у него хороше настроение - теорема доказана.