Логика Предиктов Первого Порядка 2
.pdf
Равносильность формул и законы логики первого порядка
Логика предикатов первого порядка
Расин О.В.
5 марта 2015 г.
Расин О.В. |
Логика предикатов первого порядка |
|
|
Равносильность формул и законы логики первого порядка
Равносильность формул и законы логики первого порядка
Расин О.В. |
Логика предикатов первого порядка |
|
|
Равносильность формул и законы логики первого порядка
Понятие интерпретации
Определение
Формулы логики высказываний F(X1; X2; : : : ; Xn) è
G(X1; X2; : : : ; Xn)
Расин О.В. |
Логика предикатов первого порядка |
|
|
Равносильность формул и законы логики первого порядка
Понятие интерпретации
Определение
Формулы логики высказываний F(X1; X2; : : : ; Xn) è G(X1; X2; : : : ; Xn) будем называть равносильными,
Расин О.В. |
Логика предикатов первого порядка |
|
|
Равносильность формул и законы логики первого порядка
Понятие интерпретации
Определение
Формулы логики высказываний F(X1; X2; : : : ; Xn) è
G(X1; X2; : : : ; Xn) будем называть равносильными, если на любом наборе значений X1, X2; : : : ; Xn эти формулы принимают одинаковые значения
Расин О.В. |
Логика предикатов первого порядка |
|
|
Равносильность формул и законы логики первого порядка
Понятие интерпретации
Определение
Формулы логики высказываний F(X1; X2; : : : ; Xn) è
G(X1; X2; : : : ; Xn) будем называть равносильными, если на любом наборе значений X1, X2; : : : ; Xn эти формулы принимают одинаковые значения
Замечание 1
Понятие равносильности логических формул аналог понятия равенства функций в курсе математического анализа.
Расин О.В. |
Логика предикатов первого порядка |
|
|
Равносильность формул и законы логики первого порядка
Понятие интерпретации
Определение
Формулы логики высказываний F(X1; X2; : : : ; Xn) è
G(X1; X2; : : : ; Xn) будем называть равносильными, если на любом наборе значений X1, X2; : : : ; Xn эти формулы принимают одинаковые значения
Замечание 1
Понятие равносильности логических формул аналог понятия равенства функций в курсе математического анализа.
По некоторым причинам (которые мы не будем обсуждать) использование знака "=" для указания равносильности не
является общепринятым
Расин О.В. |
Логика предикатов первого порядка |
|
|
Равносильность формул и законы логики первого порядка
Понятие интерпретации
Определение
Формулы логики высказываний F(X1; X2; : : : ; Xn) è
G(X1; X2; : : : ; Xn) будем называть равносильными, если на любом наборе значений X1, X2; : : : ; Xn эти формулы принимают одинаковые значения
Замечание 1
Понятие равносильности логических формул аналог понятия равенства функций в курсе математического анализа.
По некоторым причинам (которые мы не будем обсуждать) использование знака "=" для указания равносильности не
является общепринятым , поэтому равносильность F è G будем обозначать
F eq G
Расин О.В. |
Логика предикатов первого порядка |
|
|
Равносильность формул и законы логики первого порядка
Понятие интерпретации
В дальнейшем, если не оговорено противное, формулы логики первого порядка будем называть просто формулами.
Расин О.В. |
Логика предикатов первого порядка |
|
|
Равносильность формул и законы логики первого порядка
Понятие интерпретации
В дальнейшем, если не оговорено противное, формулы логики первого порядка будем называть просто формулами.
Любая логическая формула логическое условие, которому удовлетворяет некоторый набор объектов.
Расин О.В. |
Логика предикатов первого порядка |
|
|