Глоссарий

ВЫСКАЗЫВАНИЕ — понимается предложение, которое либо только истинно, либо только ложно 

ПРЕДИКАТ — это предложение с одной переменной или несколькими переменными. 

КОНЪЮНКЦИЯ — это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложное выражение ложно. 

ДИЗЪЮНКЦИЯ — это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выражения ложны 

ИНВЕРСИЯ — это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным.  

ИМПЛИКАЦИЯ — это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь.  

ФУНКЦИЯ — это соответствие между двумя множествами, причем каждому элементу первого множества соответствует один и только один элемент второго множества. 

СЛОЖНАЯ ФУНКЦИЯ ИЛИ ФУНКЦИЯ ОТ ФУНКЦИИ — Если переменная y является функцией от x, y = f(x); а x – функция от переменной t: x = φ(t), то y = f(φ(t)) является функцией от t 

ПРОИЗВО́ДНАЯ (ФУНКЦИИ В ТОЧКЕ) — основное понятие дифференциального исчисления, характеризующее скорость изменения функции (в данной точке). Определяется как предел отношения приращения функции к приращению её аргумента при стремлении приращения аргумента к нулю, если такой предел существует. 

ДИФФЕРЕНЦИАЛ ФУНКЦИИ В НЕКОТОРОЙ ТОЧКЕ Х — это главная, линейная часть приращения функции. Дифференциал функции y = f(x) равен произведению её производной на приращение независимой переменной x (аргумента). Геометрический смысл дифференциала.