Головна » Логіка » В » Вивід

Вивід. Послідовність висловлювань, формул або схем, яка утворюється з аксіом, засновків і теорем (раніше доведених формул), остання формула якої (послідовності) виведена з попередніх за правилами відповідної формально-логічної теорії.

Джерело: Тофтул М. Г. Логіка: Підручник. Видання 2-ге, виправлене, доповнене. — К.: Видавничий центр «Академія», 2006. — 400 с. (Альма-матер). ISBN 966-580-214-3.