Лейбница ряд
знакочередующийся ряд 1 + 1/3 + 1/5 + 1/7 +…, сходящийся к π/4
переменное, возможные значения которого интерпретируются как высказывания или истинностные значения
Высказывания и высказывательные формы
Определение 1
Пропозиционная логика – это раздел символической...
именной формой (или, соответственно, высказывательной формой)....
Переменные, свободно входящие в именную (высказывательную) форму, называют ее параметрами....
Их применение обращает высказывательную форму в высказывание....
Итак, в рамках пропозициональной логики рассматривается единственный инструмент получения сложных высказываний
знакочередующийся ряд 1 + 1/3 + 1/5 + 1/7 +…, сходящийся к π/4
число, обладающее свойствами: a ± 0 = a, a ⋅ 0 = 0; деление на нуль невозможно
идеал, состоящий только из нулевого элемента