Логика принимает множество форм, от формальной до символической. Что такое логика и существует ли определение, которое охватывает все её формы? Логика определяется как система, направленная на получение разумных выводов на основе имеющейся информации. Это означает, что целью логики является использование данных для создания выводов. Например, если человек вошёл в комнату и увидел детей, держащих в руках фломастеры, а затем увидел каракули на всех стенах, логика подсказала бы, что на основании представленной информации дети рисовали фломастерами на стенах...

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