Начну немного издалека. Вот пример простой логической задачи из книжки Раскиной И.В. Логика для всех: от пиратов до мудрецов. - М.: МЦНМО, 2019. (с.40): Исходное утверждение 1: В ансамбль приглашают всех, кто хорошо поет или танцует. Исходное утверждение 2: Наташа хорошо и поет, и танцует. Вопрос на логику: Пригласят ли её в ансамбль? Ответ: Пригласят. Для наглядности ответа изобразим ситуацию с помощью кругов Эйлера. Начертим два пересекающихся круга. В первый круг пригласим тех, кто хорошо поет, во второй — всех, кто хорошо танцует...

Аристотель не зря считается основоположником логики. Вся наша логика (включая её неклассические варианты) в той или иной степени построена именно на рассуждениях Аристотеля о логике. И одно из главных его достижений в логике — это описанные им три логических закона. Конечно, они наверняка использовались и раньше, но, сформулированные, они обрели точность и вес. Ну, и сделали дискуссии на симпосиях интереснее. В этой статье мы рассмотрим только эти три закона, четвёртый логический закон, сформулированный Лейбницем — закон достаточного основания — будет темой для отдельной статьи...