Вариант 58. Записать следующее утверждение в виде формул логики высказываний, построить таблицу

  • ID: 04521 
  • 9 страниц

Фрагмент работы:

Задача 8.

Записать следующее утверждение в виде формул логики высказываний, построить таблицу истинности и определить общезначимость, выполнимость и число моделей полученных формул

«Если животное млекопитающее и имеет острые зубы и не ест траву, то это хищник»

Решение: Обозначим все встретившиеся элементарные высказывания пропозициональными переменными: