Толковый переводоведческий словарь. - 3-е издание, переработанное. — М.: Флинта: Наука. Л.Л. Нелюбин. 2003.
произвольная формализация текста — подразумевает замену отдельных лексических единиц, а так же целых предложений и понятий различными, заранее обусловленными цифровыми, буквенными и смешанными индексами, включая специальные и служебные сигналы, служебные коды и кодовые фразы,… … Толковый переводоведческий словарь
Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… … Большая советская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия
СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ — СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ отношение между некоторым множеством высказываний Г (гипотез) и высказыванием В (заключением), отображающее тот факт, что, в силу только логической структуры названных высказываний и, значит, независимо от их содержания… … Философская энциклопедия
