Логика Предиктов Первого Порядка 1
.pdf
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика предикатов первого порядка
Расин О.В.
5 марта 2015 г.
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика предикатов первого порядка
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика высказываний обладает довольными слабыми выразительными свойствами.
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика высказываний обладает довольными слабыми выразительными свойствами.
Рассмотрим следующие высказывания
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика высказываний обладает довольными слабыми выразительными свойствами.
Рассмотрим следующие высказывания
A = Всякое рациональное число является действительным .
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика высказываний обладает довольными слабыми выразительными свойствами.
Рассмотрим следующие высказывания
A = Всякое рациональное число является действительным .
B = Число 3 является рациональным .
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика высказываний обладает довольными слабыми выразительными свойствами.
Рассмотрим следующие высказывания
A = Всякое рациональное число является действительным .
B = Число 3 является рациональным .
Анализируя данные высказывания, можно легко заключить, что их следствием является высказывание
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика высказываний обладает довольными слабыми выразительными свойствами.
Рассмотрим следующие высказывания
A = Всякое рациональное число является действительным .
B = Число 3 является рациональным .
Анализируя данные высказывания, можно легко заключить, что их следствием является высказывание
C = Число 3 является действительным .
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика высказываний обладает довольными слабыми выразительными свойствами.
Рассмотрим следующие высказывания
A = Всякое рациональное число является действительным .
B = Число 3 является рациональным .
Анализируя данные высказывания, можно легко заключить, что их следствием является высказывание
C = Число 3 является действительным .
Однако, выразить высказывание C посредством логики высказываний
Расин О.В. |
Логика предикатов первого порядка |
|
|
Понятие предиката Новые операции над предикатами
Равносильность формул и законы логики первого порядка
Логика высказываний обладает довольными слабыми выразительными свойствами.
Рассмотрим следующие высказывания
A = Всякое рациональное число является действительным .
B = Число 3 является рациональным .
Анализируя данные высказывания, можно легко заключить, что их следствием является высказывание
C = Число 3 является действительным .
Однако, выразить высказывание C посредством логики
высказываний (т. е. с помощью логических связок) нет никакой возможности
Расин О.В. |
Логика предикатов первого порядка |
|
|