Проверить правильность умозаключения, определив наличие логического следования с помощью таблицы истинности: Если дерево полить керосином, оно засохнет. Это дерево засохло. Следовательно, его поливали керосином.

Пусть p - "дерево полили керосином", q - "дерево засохло".

Тогда утверждение "Если дерево полить керосином, оно засохнет" можно записать как p -> q.

Утверждение "Это дерево засохло" - q.

Утверждение "Следовательно, его поливали керосином" - p.

Таблица истинности:

| p | q | p -> q | q | p | |---|---|--------|---|---| | 0 | 0 | 1 | 0 | 0 | | 0 | 1 | 1 | 1 | 0 | | 1 | 0 | 0 | 0 | 1 | | 1 | 1 | 1 | 1 | 1 |

Из таблицы видно, что если дерево засохло (q=1), то не обязательно следует, что его поливали керосином (p=0). Следовательно, умозаключение неверно.