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