Введемо атоми:
− «Температура повітря
»;
− «Йде дощ». Висловлення «Температура повітря
, і йде дощ» можна представити у вигляді формули
, а отриманий за правилом видалення кон’юнкції висновок «Температура повітря
» є висловлення
. Очевидно, що висновок зроблений відповідно до правила
.
Завдання 10. Визначити, чи є правильним міркування за схемою 