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