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

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