Логика

это способ выражения мыслей или схема их построения. По содержанию мышление бесконечно многообразно, но всё это многообразие укладывается всего в несколько форм. Существует три формы мышления: понятие, суждение и умозаключение, которыми занимается логика, в силу чего она также часто называется формальной логикой.

вид сложного суждения, образованного из простых суждений, которые вытекают друг из друга, являясь тождественными (эквивалентными).