Черняк - Из сложных суждений. Сокращенные и сложные силлогизмы
Формальная логика - наука о законах и формах мышления. Термин «логика» имеет свое происхождение от греческого logos, что означает «мысль», «слово», «разум», «закон». Логика исследует логические формы, отвлекаясь от их конкретного содержания, анализирует мышление со стороны его формальной правильности.