Итабира

исчисление суждений, раздел математической логики (См. Математическая логика), в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок «и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. Е. Те формулы, которые при любой подстановке высказываний вместо переменных дают высказы..

раздел математической логики — совокупность логико-математических исчислений (См. Исчисление), формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с Кванторами. См. Высказывание, Логика предикатов. ..

(от названия города Итабира в Бразилии) разновидность Кварцита, содержащая в обилии железорудные минералы, небольшое количество мусковита, а иногда тонкораспылённое золото. Используется как железная руда. ..

(Itabuna) город на С.-В. Бразилии, в штате Баия, в районе производства какао. 113 тыс. Жителей (1970, с пригородами). Ж.-д. Станция. Предприятия по переработке с.-х. Сырья. ..