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