Умови пошуку інформації, прості логічні вирази

Термін логіка походить від грецького «логос», що означає «міркування», «мова». Давньогрецький філософ Аристотель свої дослідження форм правильного мислення людини назвав формальною логікою. Відповідно до формальної логіки основним елементом міркування людини є висловлювання — твердження, яке може бути або істинним, або хибним. Наприклад, вислів «На вулиці йде дощ» може бути істинним чи хибним залежно від стану погоди на даний момент.

В результаті аналізу даних висловлювань людина приходить дорозумів — нового висловлювання. Формальна логіка визначає правила визначення істинності чи хибності умовиводу виходячи з даних висловлювань. Аристотель сформулював низку законів формальної логіки.

Логіка, як розділ математики - алгебра логіки, виникла в XIX столітті. Засновником цієї науки був англійський математик Джордж Буль. Джордж Буль вперше застосував методи алгебри для вирішення традиційних логічних завдань, які до цього вирішувалися методами міркувань, згідно з формальною логікою Аристотеля.

Спочатку розвитокматематичної логіки маловиключно теоретичний характер. У XX столітті з винаходом систем автоматичного управління, з появою комп'ютерів, з розвитком комп'ютерних методів обробки інформації логіка набуває важливого прикладного значення.

До основних понять алгебри логіки відносяться: логічна її личина, логічна операція, логічна формула.

Наступна сторінкаЛогічні операції