О озу бобщённая схема машины логического вывода.

Host процесс

Пролог

ПЗУ

КЕШ

Контролер ОЗУ

Контролер шин

Стекиолер шин

Контролер процесса

4. Логическое следование в логике высказываний. Теорема и следствие. Вывод всех следствий из посылок. Нахождение недостающих посылок. Примеры.

Формула R называется логическим следствием формулы Ф, тогда и только тогда, когда для всякой интерпретации, на которой Ф истинна, R тоже истина.

Знаменитый пример Гильберта: Если 2 на 2 равно 5, то Луна сделана из зеленого сыра. Это правильно. Логическим следствием формулы Ф является ложь, тогда и только тогда, когда Ф невыполнима.

15. Резолюции в логике высказываний. Пример построения вывода.

Утверждение базируется на понятиях формул, дизъюнктов, литералов – формальный аппарат логики высказываний.

Имеется исходное множество формул А₁, …, А_n. Необходимо доказать некоторую формулу В. Каждая формула из множества рассматривается как дизъюнкт.

Имеется исходное множество формул: А. Необходимо доказать некоторую формулу В. любая формула из множества рассматривается как дизъюнкт. Под литералом понимается некая формула (или отрицание).

Для множества формул ЛВ известно понятие интерпретации. Литералы Р и не Р образуют пару: литерал и отрицание.

17. Резолюции в логике предикатов. Примеры доказательств.

Правило резолюций носит универсальный характер, поэтому резолюцию в логике предикатов можно рассматривать аналогично.