§ 1. Определение логического доказательства В любом школьном сочинении, в научном исследовании, в докладе и лекции, в беседе и дискуссии нам приходится не только высказывать различные суждения, но и обосновывать, доказывать их истинность. Голословные, необоснованные суждения никого не убеждают и терпят крах при первой же проверке их практикой. Ярким примером этого могут служить все «теории», враждебные Марксизму-ленинизму. Так, у оппортунистов II Интернационала существовало такое «теоретическое»...

Нам всем знакомы понятия "логичный", "нелогичный", "истина", "ложь", "сомнение". Мы отлично знаем, что такое "одно ИЛИ другое", "одно И другое", "НЕ то". Мы используем эти понятия в нашей обычной повседневной жизни. Но не все догадываются, что тем самым мы занимаемся математикой и философией. Более того, математика и философия являются важнейшей основой таких современных информатики и вычислительной техники. Так что садясь за компьютер или беря в руки смартфон мы пользуемся и трудами философов древней...