как читать, P подразумевает Q в классической логике? пример: Дистрибутивность: Ka (X-> Y)-> (KaX-> KaY) Это - модальная логика, которая использует правила классической логики. KaX: знание, что X верно...

Как я могу написать следующее правило в PROLOG: если P, то не Q Я понимаю что вы можете легко написать, если P, затем Q, такие предикаты, как q (X): - p (X), но как вы можете отрицать предикат q / 1? Я не ...