переменное, возможные значения которого интерпретируются как высказывания или истинностные значения
Высказывания и высказывательные формы
Определение 1
Пропозиционная логика – это раздел символической...
именной формой (или, соответственно, высказывательной формой)....
Переменные, свободно входящие в именную (высказывательную) форму, называют ее параметрами....
Их применение обращает высказывательную форму в высказывание....
Итак, в рамках пропозициональной логики рассматривается единственный инструмент получения сложных высказываний
способ определения множества, при котором задаются некоторые элементы определяемого множества и некоторые правила, позволяющие из имеющихся получать другие элементы этого множества; в частном случае определение понятия P (n), зависящего от натурального параметра n, протекает по следующей схеме: задаются P (0) и правило получения P (n + 1) от n и P (n); напр., факториал n! определяется так: 0! = 1, (n + 1)! = (n + 1) · n!
термин классической теории вероятностей, при аксиоматическом подходе определяемый как любое разбиение пространства элементарных событий на попарно несовместимые случайные события, которые называются исходами испытания
раздел дифференциальной геометрии, изучающий свойства поверхностей и фигур на них
