Казаков, Мстислав Андрійович2023-06-172023-06-172022Logic. Методичні рекомендації до самостійної роботи з дисципліни [Електронний ресурс] : навчальний посібник для здобувачів ступеня бакалавра за всіма освітніми програмами всіх спеціальностей / КПІ ім. Ігоря Сікорського ; уклад. М. А. Казаков. – Електронні текстові дані (1 файл: 8,5 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2022. – 98 с. – Назва з екрана.https://ela.kpi.ua/handle/123456789/57253The textbook proposes topics and materials for individual work for the learners of the optional learning discipline ‘Logic’ for bachelor degree educational programs of all directions and professions. The individual work itself deals with thoughtful, profound and systematic study of the insights into formal logic, its key concepts and notions, systems of proof (direct and indirect), such as Truth Tables, Axiomatic Systems, Natural Deduction Systems, Tree Tableaux, and is centered around such logical families and metalanguages (with their syntax and semantics) as Classical Propositional Logic (Boolean algebra of thinking) and First-Order Predicate Monadic & Polyadic Logic. It also includes the discussion topics and questions, as well as self-assessment questions and the list of additional textbooks dedicated to all the topics which are discussed. The textbook is supplied with additional diagrams, tables and schemes dedicated to each topic in particular.98 c.enlogicmethodological recommendationstextbookindividual workoptional disciplineformal logicpropositional logicfirst-order predicate logictruth tablestruth treesnatural deductionaxiomatic proofsdeductioninductionabductionsyllogismrules of inferencemany-valued logicLearning Object