розділ логіки, в якому вивчаються способи міркування, що гарантують істинність висновку при істинності засновків