|
Мне надо было доказать клаузу A -> B, B v C, C -> A, B -> C => A ^ B
аксиоматическим методом, вот моё решение, правильно ли я сделал?
A -> B, B v C, C -> A, B -> C => A ^ B
A -> B, B v C, B -> C, C -> A => A ^ B
A -> B, B v C, неB v C, C -> A => A ^ B
A -> B, (B ^ неB) v C, C -> A => A ^ B
A -> B, C, C -> A => A ^ B
Воспользуемся правилом отделения для посылок (C, C -> A)
A -> B, A => A ^ B
Воспользуемся правилом отделения для посылок (A -> B, A)
A, B=A ^ B
Получил, A и B, следовательно, A и B. Это аксиома порядка?
|
