Наиболее простые и необходимые связи между мыслями вы¬ражаются в основных формально-логических законах. К ним относятся законы тождества, непротиворечия, исключенного третьего, достаточного основания.

Эти законы являются основными потому, что в логике они играют особо важную роль, являются наиболее общими, лежат в основе различных логических операций с понятиями, суждени¬ями и используются в ходе умозаключений и доказательств. Первые три закона были выявлены и сформулированы Аристо¬телем. Эти законы можно выразить в виде формул математической (символической) логики

...