Traduction et analyse des mots par intelligence artificielle
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
Qu'est-ce (qui) est "ФОРМАЛЬНАЯ ШКОЛА" - définition
![Памятник на площади Соловецких Юнг]]](https://commons.wikimedia.org/wiki/Special:FilePath/Площадь Соловецких юнг.JPG?width=200 "Памятник на площади Соловецких Юнг]]")
![Памятник соловецким юнгам]] в [[Архангельск]]е](https://commons.wikimedia.org/wiki/Special:FilePath/Arkhangelsk SolovetskyJungsMonument 009 0999.jpg?width=200 "Памятник соловецким юнгам]] в [[Архангельск]]е")
![Памятник «Юным морякам-саратовцам Соловецкой школы юнг Северного флота 1942—1944 гг.»]]](https://commons.wikimedia.org/wiki/Special:FilePath/Юным морякам саратовцам соловецкой школы юнг.jpg?width=200 "Памятник «Юным морякам-саратовцам Соловецкой школы юнг Северного флота 1942—1944 гг.»]]")
.jpg?width=200 "памятник «Юным морякам-ульяновцам, воспитанникам Соловецкой школы юнг».")
Wikipédia
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными правилами. Формальная логика занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а путем применения законов и правил мышления. В качестве начальной ступени формальной логики принято рассматривать традиционную логику, а в качестве её развития — математическую логику, использующей степень формализации, подобную математической, символический аппарат и логические исчисления.
