Автор работы: Пользователь скрыл имя, 30 Ноября 2013 в 12:36, лекция
Інтерпретація формально-логічної системи (лат. interpreta-tio- роз'яснення, тлумачення) - 1) роз'яснення значення логічних символів за правилами визначення їхньої істинності та правилами позначення пропозиційних змінних на підставі принципів несуперечності та повноти; 2) побудова семантичної моделі певного типу формально-логічної системи (формалізму) для певної предметної галузі. Розрізняють внутрішню та зовнішню інтерпретацію формально-логічної системи. Внутрішня інтерпретація в контексті мета логічного аналізу формально-логічних систем означає семантичну модель, що будується з метою розкриття значення символів формалізованої мови та надання істиннісного значення висловлюванням у межах певної формально-логічної системи.
4.1. Вираження аргументів у логіці висловлювань.
4.2. Правила дедуктивного виводу в логіці висловлювань. Redictio ad absurdum.
4.3. Правила дедуктивного виводу в логіці предикатів.