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