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