Доказать выполнимость формулы

Чтобы доказать выполнимость, не обязательно упрощать или как-то иначе преобразовывать формулу. Нужно найти модель, то есть интерпретацию, где формула истинна. В данном случае импликация справа налево общезначима, а слева направо — нет. Но ежу понятно, что она иногда истинна. Ведь не будете же вы утверждать, что каждый раз, когда есть объект, обладающий свойством P и есть объект, обладающий свойством Q, то обязательно не существует объекта, обладающего этими двумя свойствами одновременно.

0