Розв’язок. Введемо наступні висловлювальні змінні: : «Джонс зустрічав у цю ніч Сміта»; : «Сміт − убивця»; : «Джонс бреше»;

Розв’язок.

Введемо наступні висловлювальні змінні: : «Джонс зустрічав у цю ніч Сміта»; : «Сміт − убивця»; : «Джонс бреше»; : «Убивство було після опівночі». Позначимо складні висловлення відповідно . Ці висловлення можна записати у вигляді формул: , , .

Необхідно перевірити правильність міркування: , тобто перевірити тотожну істинність формули .

Ця формула буде мати вигляд:

Можна перевірити, що на интерпретації для змінних має значення (хибність), тобто формула спростовна, і міркування невірно.

Завдання 9. Визначити тип правила дедуктивного висновку, який було використано в наступному міркуванні: «Температура повітря , і йде дощ. Отже, температура повітря ».

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

Завдання 10. Визначити, чи є правильним міркування за схемою

Дата добавления: 2014-12-07