Презентация на тему по информатике Формальная логика

многозначного слова «логос» — мысль, речь, слово, понятие, разум.

Древние философы пытались найти ответ на вопрос, как и по каким законам мыслит человек, какими путями мышления можно прийти к истине в рассуждениях о событиях и явлениях окружающего мира.
По дошедшим до нас рукописям Аристотеля считают, что именно он явился основоположником логики как науки. В логике Аристотеля сформированы логические категории «понятие», «суждение», «умозаключение», законы логики, метод дедукции, понятие гипотезы. Логика Аристотеля — это так называемая классическая, формальная логика.

Аристотель

Логика - наука, изучающая законы и формы мышления, способы рассуждений и доказательства

формальной к математической логике, появление которой связывают с именем

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

В период 1815 — 1864 гг. благодаря трудам математика Дж. Буля появился раздел математической логики, получивший название алгебры логики, или булевой алгебры

практическое применение в технической области знаний.
Она используется для

решения сложных математических задач, при написании программ и алгоритмов, разработке компьютеров, электронных устройств, автоматических систем, в робототехнике и т. д.

повествовательное предложение, относительно которого можно однозначно сказать, истинное или

ложное утверждение оно содержит.
Примеры высказываний:
«Листва на деревьях опадает осенью»;
«Зимой в Московской области нет зеленых деревьев».
Первое высказывание содержит истинную информацию, второе — ложную.

как в них ничего не утверждается и не отрицается.

Примеры предложений, не являющихся высказываниями:
«Кто не хочет быть счастливым?»;
«Не пейте сырую воду!»;
«Мой друг! Отчизне посвятим души прекрасные порывы!».
Высказывания могут быть и такими:
2 > 1;
Н2О + SОз = H2SO4.
Здесь используются языки математических символов и химических формул.

их с помощью логических связок.

Логические связки — это слова,

которые подразумевают определенные логические связи между высказываниями.

союз «и» является конъюнктивной связкой двух простых высказываний, при

этом сложное высказывание истинно, только если одновременно истинны оба входящие в него простые высказывания.

дожде светит или прячется в тучах».

В этом высказывании связка

«или» реализует дизъюнкцию, при этом сложное высказывание истинно, если истинно хотя бы одно из простых высказываний, в том числе если истинны сразу оба высказывания.

либо поедем к морю, либо будем жить на даче».

Связка

«либо ... либо» реализует строгую дизъюнкцию, при этом сложное высказывание истинно, только если одно из простых высказываний истинно, но не оба сразу.

Менее явно строгая дизъюнкция может быть выражена связкой «или», например: «Сейчас Сергей находится в институте или дома».

пойдем в лес».

Здесь связка «если...то» реализует импликацию, при этом

первую часть высказывания — «Если будет хорошая погода» — называют условием, а вторую — «мы пойдем в лес» — заключением.

Высказывание такого типа ложно только в одном случае — если истинно условие и ложно заключение.

«Завтра мы не пойдем на улицу».

В этих примерах

отрицание высказываний реализуется связками «неверно, что..» и «не».

Данное высказывание истинно, когда его отрицание ложно и наоборот.

тогда, когда получу премию».

В этом примере связка «...тогда и

только тогда... когда...» помогает выразить взаим­ную обусловленность событий.

Данное сложное высказывание будет истинным, когда простые высказывания либо оба истинны, либо оба ложны.

«все» — кванторное слово.

«Существуют люди с голубыми глазами».

В этих примерах кванторные слова

— «некоторые», «существуют».

служить следующее: «Если мы не поедем в Крым и

не выкупаемся в море или не сходим в горы, то мы либо уедем на дачу, либо останемся дома.»
В этом примере видно условие с конъюнкцией и дизъюнкцией — «Если мы не поедем в Крым и не выкупаемся в море или не сходим в горы» — и заключение со строгой дизъюнкцией — «мы либо уедем на дачу, либо останемся дома».

Как видно из этого примера, такие комбинационные сложные высказывания можно легко подвергать анализу после изучения логических высказывательных конструкций с одной связкой.

если это высказывание, и «нет» — в противном случае:

простые:

или союзы и наименование связки: