19. Логическое следование. Если утверждение «Если идет дождь, то асфальт мокрый» истинно, что можно сказать об истинности утверждения «Асфальт мокрый»? (Можно ли утверждать, что идет дождь?)

Из истинности условного высказывания «Если идет дождь, то асфальт мокрый» нельзя установить, мокрый ли асфальт сейчас: дождя может не быть, а асфальт может быть мокрым по другой причине. Нельзя также заключить, что идет дождь, только из того, что асфальт мокрый.

Ответ: истинность утверждения «Асфальт мокрый» и наличие дождя по данному условию определить нельзя.