Я хочу понять, как проверить, является ли КБ моделью или нет (и тем, что у нее есть).
Я слежу за этим ресурсом здесь: https://www.cs.princeton.edu/courses/archive/fall16/cos402/lectures/402-lec12.pdf
Для ответа наэтот вопрос:
- (A и не (C)) или (B и D)
- (A или нет (D)) и (A или нет (B или C))
Скажите, согласны они или нет;в положительном случае покажите модель.
В примере Принстона уже есть модель объявления и построена функция интерпретации, но я не понимаю, как это сделать для проверки.
определение для моделиДля логики высказываний модель - это просто
присваивание всем переменным (каждой переменной присваивается 0 (ложь) или 1 (истина), а не обе)
Так что я думаю, что в качестве примера можно привести A или -У вас нет модели, верно?Извините за этот вопрос, он очень простой, но поможет понять.