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

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