1- 7_Лабораторная_Интеллектуальные информационные системы

Задание 1.

A(x) оказывается истинным не для всех:

Никто не есть А:

Задание 2.

Если 6 – составное число, то 12 составное число. Если 12 – составное число, то существует простое число, больше чем 12.Число 6 делится на 2.Если и существует простое число больше чем 12, то существует составное число больше чем 12.

Следовательно, если 6 – составное число, то 6 делится на 2.

Решение

А(х) – х составное число

В(х) – х простое число

С(х,у) х больше у

D(х,у) х делится на у

Приведение к предварительной форме:

Приведём к сколемовской форме:

1. 

2. 

3. 

4. 

5. 

6. 

7. 

Множество дезъюнктов:

1. 

2. 

3. 

4. 

5. 

6. 

7. 

8. 

Решение:

9. Найден пустой дизъюнкт (4,8)

Утверждение доказано.