Математикалық тұжырымдар мен анықтамаларды предикаттар логикасының формулалары түрінде жазу

3.7 Математикалық тұжырымдар мен анықтамаларды предикаттар логикасының формулалары түрінде жазу

Предикаттар логикасының тілі математикалық тұжырымдар мен анықтамаларды жазу үшін ыңғайлы. Ол ұғымдар арасындағы логикалық байланыстарды өрнектеу, анықтамаларды, теоремаларды, дәлелдеулерді жазу мүмкіндігін береді. Мұндай жазылулардың бірнеше мысалдарын келтірейік. Мысал 1. Е облыста анықталған ƒ(х) функцияның x₀ нүктедегі шегінің анықтамасы.: . үш орынды предикатты қолданып жазамыз:

Егер , мұндағы , онда Е жиыныдағы анықталған функциясы нүктеде үзіліссіз деп аталады.