Логіка формальна

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