Логіка — (у щоденній мові) спосіб судження, що полягає в отриманні висновку із набору припущень. Більш формально, логіка стосується виведення — процесу що продукує нові твердження із вже встановлених. Саме тому у логіці особлива увага приділяється структурам виводу — конкретніше, формальним відношенням між вихідними твердженнями…
