Логіка - одна з найдавніших наук. Як самостійна наука логіка склалася в IV ст. до н.е. Її засновником вважається давньогрецький філософ Аристотель. Мислити логічно - значить мислити точно і послідовно, не допускати протиріч у своїх міркуваннях, вміти розкривати логічні помилки. Предметом дослідження науки логіки є людське мислення.
форми мислення
Поняття - форма мислення, в якій відображаються відмінні істотні ознаки предметів.
Істотними називаються такі ознаки, кожен з яких, взятий окремо, необхідний, а всі разом достатні, щоб з їх допомогою відрізнити предмет або явище від усіх інших.
Мовним виразом суджень є оповідної пропозицію
Мовним виразом суджень є оповідної пропозицію. Судження бувають простими і складними (складене з одного або декількох простих (або складних) логічних виразів, пов'язаних з допомогою логічних операцій).
Судження (висловлювання, твердження) - форма мислення, в якій щось стверджується або заперечується про предмети, їх властивості чи відносинах між ними.
Умовивід - форма мислення
Умовивід - форма мислення, за допомогою якої з одного або кількох суджень, званих посилками, ми за певними правилами виведення отримуємо судження-висновок (висновок умовиводи). Посилками умовиводи можуть бути тільки істинні судження
Античну логіку, створену Арістотелем, називають формальною логікою
Ця назва походить від основного принципу логіки як науки, який говорить, що правильність міркування (умовиводи) визначається тільки його формою, або структурою, і не залежить від конкретного змісту входять до нього суджень.
Алгебра логіки (алгебра висловлювань) - розділ математичної логіки
вивчає будову (форму, структуру) складних логічних висловлювань та способи встановлення їх істинності за допомогою алгебраїчних методів.
Під висловом (судженням) розуміється оповідної пропозицію, щодо якого можна сказати, істинно воно або помилково.
Висловлювання позначаються прописними літерами (A), якщо висловлювання істинне, то пишуть А = 1, а говорять А - істинно. якщо висловлювання хибне, то пишуть А = 0, а говорять А - помилково.
В алгебрі логіки над висловлюваннями можна робити різні операції.
Логічні операції
Логічна операція - спосіб побудови складного висловлювання з даних висловлювань, при якому значення істинності складного висловлювання повністю визначається значеннями істинності вихідних висловлювань.
Логічне заперечення (інверсія) логічне множення (кон'юнкція) Логічне додавання (диз'юнкція) логічне слідування (імплікація) Логічне рівність (еквівалентність)