Введемо наступні висловлювальні змінні: 
: «Джонс зустрічав у цю ніч Сміта»; 
: «Сміт − убивця»; 
: «Джонс бреше»; 
: «Убивство було після опівночі». Позначимо складні висловлення відповідно 
. Ці висловлення можна записати у вигляді формул: 
, 
, 
.
Необхідно перевірити правильність міркування: 
, тобто перевірити тотожну істинність формули 
.
Ця формула буде мати вигляд:
Можна перевірити, що 
на интерпретації 
для змінних 
має значення 
(хибність), тобто формула спростовна, і міркування невірно.
Завдання 9. Визначити тип правила дедуктивного висновку, який було використано в наступному міркуванні: «Температура повітря 
, і йде дощ. Отже, температура повітря ».
