Решение. Процедура формализации высказываний

Процедура формализации высказываний:

1. Если высказывание — простое, то ему ставится в соответствие элементарная формула.

2. Если высказывание — составное, то для составления соответствующей формулы нужно:

а) выделить все элементарные высказывания и логические связки, образующие данное составное высказывание;

б) заменить их соответствующими символами (различные элементарные высказывания обозначаются различными символами);

в) расставить скобки в соответствии со смыслом данного высказывания.

Обозначим буквой P высказывание "ДУЕТ ВЕТЕР", а буквой Q высказывание "ИДЕТ ДОЖДЬ". Тогда из сложного высказывания вначале построим высказывание "ВЕТЕР ДУЕТ ТОГДА И ТОЛЬКО ТОГДА, КОГДА ИДЕТ ДОЖДЬ", а потом путём применения связки НЕ ("НЕВЕРНО, ЧТО") - уже окончательное утверждение.

Таким образом, нашему анализу соответствует формула: (P → Q)