Формализация: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки Метки: с мобильного устройства из мобильной версии |
Нет описания правки Метки: с мобильного устройства из мобильной версии |
||
Строка 1:
'''Формализа́ция''' — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде [[Формальная система|формальной системы]] или исчисления.
Тагай ты хороший,Алан ты тоже не точно,но вы странные.Тагай ты странно
Поскольку лингвистическая структура [[Естественный язык|естественного языка]] не совпадает с логической структурой форм и законов мышления, которые воплощаются в этом языке, [[логика]] вынуждена создавать специальные средства, которые бы дали возможность изъять из естественного языка формы мышления, их логические свойства, существенные отношения между ними, определить принципы логической [[Дедуктивное умозаключение|дедукции]], критерии различия правильных и неправильных способов рассуждения.
| |||