Логика Предиктов Первого Порядка 1
.pdf
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Q(x) = число x является рациональным .
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Q(x) = число x является рациональным .
R(x) = число x является действительным .
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Q(x) = число x является рациональным .
R(x) = число x является действительным .
Рассмотрим A(x) = Для любого x Q(x) ! R(x)
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Q(x) = число x является рациональным .
R(x) = число x является действительным .
Рассмотрим A(x) = Для любого x Q(x) ! R(x)
Тогда C = A(3).
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Q(x) = число x является рациональным .
R(x) = число x является действительным .
Рассмотрим A(x) = Для любого x Q(x) ! R(x)
Тогда C = A(3).
Однако при этом возникают следующие
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Q(x) = число x является рациональным .
R(x) = число x является действительным . Рассмотрим A(x) = Для любого x Q(x) ! R(x)
Тогда C = A(3).
Однако при этом возникают следующие
1. A хотя и истинно, но зависит от некоторого параметра x.
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Q(x) = число x является рациональным .
R(x) = число x является действительным .
Рассмотрим A(x) = Для любого x Q(x) ! R(x)
Тогда C = A(3).
Однако при этом возникают следующие
1.A хотя и истинно, но зависит от некоторого параметра x.
2.Ñàìî A включает в себя Q(x) è R(x), которые сами высказываниями не являются. Истинность Q(x) è R(x) целиком и полностью зависит от значения x.
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Q(x) = число x является рациональным .
R(x) = число x является действительным .
Рассмотрим A(x) = Для любого x Q(x) ! R(x)
Тогда C = A(3).
Однако при этом возникают следующие
1.A хотя и истинно, но зависит от некоторого параметра x.
2.Ñàìî A включает в себя Q(x) è R(x), которые сами высказываниями не являются. Истинность Q(x) è R(x) целиком
и полностью зависит от значения x. p
Òàê Q( 2) ложно,
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Можно рассмотреть следующую конструкцию:
Q(x) = число x является рациональным .
R(x) = число x является действительным .
Рассмотрим A(x) = Для любого x Q(x) ! R(x)
Тогда C = A(3).
Однако при этом возникают следующие
1.A хотя и истинно, но зависит от некоторого параметра x.
2.Ñàìî A включает в себя Q(x) è R(x), которые сами высказываниями не являются. Истинность Q(x) è R(x) целиком
и полностью зависит от значения x. p
Òàê Q( 2) ложно, Q(1) истинно
Расин О.В. |
Логика предикатов первого порядка |
|
|