Как мат. выр-ние предст. на яз. логики предикатов?

Сообщение №6187 от Новый 27 декабря 2002 г. 00:19
Тема: Как мат. выр-ние предст. на яз. логики предикатов?

Дана теорема Пифагора.
Необходимо перевести математическую форму записи в запись с использованием логики предикатов.
Кто-нибудь знает, как это сделать???
Заранее благодарю!


Отклики на это сообщение:

> Дана теорема Пифагора.
> Необходимо перевести математическую форму записи в запись с использованием логики предикатов.
> Кто-нибудь знает, как это сделать???
> Заранее благодарю!


А так не подойдет
Пусть Т - множество прямоугольных треугольников t с катетами a,b
и гипотенузой c
Тогда имеет место утверждение
cA(t<:T) : a^2+b^2=c^2

Здесь сА - обозначен квантор всеобщности (перевернутое А)
<: - знак принадлежности множеству



> А так не подойдет
> Пусть Т - множество прямоугольных треугольников t с катетами a,b
> и гипотенузой c
> Тогда имеет место утверждение
> cA(t<:T) : a^2+b^2=c^2

> Здесь сА - обозначен квантор всеобщности (перевернутое А)
> <: - знак принадлежности множеству

А если просто взять теорему c^2=a^2+b^2 и представить её в виде предиката, не используя при этом обобщения?


Физика в анимациях - Купить диск - Тесты по физике - Графики on-line

Реклама:
Rambler's Top100