Логика Предиктов Первого Порядка 1
.pdf
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются 1) атомарные формулы
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются
1)атомарные формулы
2)выражения вида (F) _(G),
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются
1)атомарные формулы
2)выражения вида (F) _(G), (F) ^(G),
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются
1)атомарные формулы
2)выражения вида (F) _(G), (F) ^(G), :(F),
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются
1)атомарные формулы
2)выражения вида (F) _(G), (F) ^(G), :(F), (F) ! (G)
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются
1)атомарные формулы
2)выражения вида (F) _(G), (F) ^(G), :(F), (F) ! (G) è (F) $ (G),
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются
1)атомарные формулы
2)выражения вида (F) _(G), (F) ^(G), :(F), (F) ! (G) è (F) $ (G),
(8x)F,
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются
1)атомарные формулы
2)выражения вида (F) _(G), (F) ^(G), :(F), (F) ! (G) è (F) $ (G),
(8x)F, (9x)F
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются
1)атомарные формулы
2)выражения вида (F) _(G), (F) ^(G), :(F), (F) ! (G) è (F) $ (G),
(8x)F, (9x)F
ãäå F è G формулы логики предикатов, а x переменная.
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Определение формулы логики предикатов
Определение
(строгое определение) Формулами логики первого порядка
называются
1)атомарные формулы
2)выражения вида (F) _(G), (F) ^(G), :(F), (F) ! (G) è (F) $ (G),
(8x)F, (9x)F
ãäå F è G формулы логики предикатов, а x переменная.
Определения, подобные данному называются индуктивными. В п. 1 мы определяем базовые объекты, из которых состоят формулы,
Расин О.В. |
Логика предикатов первого порядка |
|
|