Подано інформацію про основні закони формальної логіки, розкрито сутність поняття, судження, умовиводів, доведення та спростування, гіпотези та теорії. Розглянуто всі випадки відхилення простого категоричного силогізму від правил, у яких силогізм при тому залишається правильно побудованим. Правила силогізму та його фігур виведено за допомогою методу повної індукції. Обгрунтовано можливість доведення на основі силогізму, більшим засновком якого є кон'юнктивне судження, а меншим - просте категоричне. Обгрунтовано також недоцільність обернення, засновком якого є частково-заперечувальне судження. Увагу приділено основним етапам побудови та підтвердження (спростування) гіпотези.