Що таке математична логіка? Математична логіка: предмет, структура та основні принципи операцій
сучасна математична модельформальної логіки як науки про правильне міркування. за влучному виразуРосійська логіка Порецького, математична логіка суть логіка на предмет і математика - за методом вирішення своїх проблем. Систематична розробка математичної логіки розпочалася з робіт Больцано, Фреге, Рассела та Вітгенштейна. Суть цієї логіки та розгляд більшості логічних категорій (поняття, предикат, судження, висновок, висновок, доказ) як логічних функцій, областю значення яких є істиннісні значення. Як логічні функції тлумачаться і всі логічні оператори (терміни «Все», «Існує», «Деякі», «Один», «Ніодин», «і», «або», «якщо, то», «тотожно», «можливо », «Необхідно» і т. д. і т. п.). Усі логічні функції задаються, зрештою, табличним способом з допомогою всіляких поєднань введеного числа істиннісних значень на «вході» і «виході» цих функций. Приміром, логічне ставлення «якщо, то...» моделюється з допомогою функції =), званої матеріальної імплікацією.
Відмінне визначення
Неповне визначення ↓
МАТЕМАТИЧНА ЛОГІКА
логіка, що розвинулася в точну науку, Що застосовує математич. методи, або, згідно з П. С. Порецьким, логіка з предмету, математика за методами. Ідея побудови М. л. висловлювалася вперше Лейбніцем. Але лише 19 в. в соч. Буля " Математичний аналізлогіки" (G."Boole, "The matematical analysis of logic", 1847) була розпочата систематич. розробка цієї науки. Подальший розвиток М. л. отже. мері стимулювалося потребами математики, що ставила логіч. проблеми, для вирішення яких брало старі засоби класич. формальної логіки були непридатними. Однією з цих проблем стала проблема недоказності 5-го постулату Евкліда в геометрії. Ця проблема пов'язана з аксіоматичним методом, що є найбільш поширеним способом логіч. систематизації математики Він вимагає точного формулювання основних, прийнятих без доказу положень теорії, що розгортається – т.зв. а до с і про м, з яких брало все подальше її зміст логічно виводиться. Математич. теорії, що розвиваються т.ч., зв. а к с і о м а т і ч с к і м і. Класич. прототипом такої побудови математич. Теорія є евклідова побудова геометрії. У зв'язку з будь-якої аксіоматич. теорією природно виникає низка логіч. проблем. Зокрема, виникає проблема логічні часи даної теорії даної теорії, яка полягає у встановленні того, що жодна з аксіом теорії не може бути суто логічно виведена з інших аксіом. Для евклідової геометрії протягом двох тисячоліть залишався відкритим питанняпро логіч. незалежності 5-го постулату Евкліда Було зроблено багато марних спроб вивести його з інших аксіом евклідової геометрії, поки, нарешті, у роботах М. І. Лобачевського був уперше у явній формі висловлено переконання у неможливості здійснити такий висновок. Це переконання було підкріплене Лобачевським побудовою нової геометрії, докорінно відмінної від евклідової. У геометрії Лобачевського, ретельно розробленої її творцем, не виявлялося протиріч; це вселяло впевненість у тому, що протиріччя і взагалі не можуть виникнути, хоч би як далеко не було просунуто виведення наслідків з аксіом нової геометрії. Згодом нім. Математиком Ф. Клейном було доведено, що прот і в р о ч я не можуть виникнути в геометрії Лобачевського, якщо вони не можуть виникнути в евклідовій геометрії (див. Метод аксіоматичний). Так виникли і були частково вирішені історично перші проблеми "недоказовості" та несуперечності в аксіоматич. теоріях. Точна постановка таких проблем, їх розгляд як математичних проблем вимагають уточнення поняття доказу. Будь-який математич. доказ полягає в послідовне застосуваннятих чи інших логіч. коштів до вихідних положень. Але логіч. кошти не є чогось абсолютного, раз назавжди встановленого. Вони вироблялися багатовіковою людською практикою; "...практична діяльність людини мільярди разів повинна була приводити свідомість людини до повторення різних логічних фігур, щоб ці фігури могли отримати значення аксиом" (Ленін В. І., Соч., т. 38, стор. 181-82). Людська практика є, однак, на кожному історич. етапі обмеженою, а обсяг її постійно зростає. Логіч. засоби, що задовільно відображали людське мислення на даному етапі або в цій галузі, можуть виявитися невідповідними на слід. етапі чи ін. області. Тоді залежно від зміни змісту предмета, що розглядається, змінюється і спосіб його розгляду – змінюються логіч. засоби. Це особливо стосується математики з її далекосяжними багатоступеневими абстракціями. Тут безглуздо говорити про логіч. засобах як про щось дане у своїй сукупності, як про щось абсолютне. Натомість має сенс розгляд логіч. засобів, що застосовуються в тій же іншій конкретній обстановці, що зустрічається в математиці. Їхнє встановлення для к.-л. аксіоматич. теорії та становить шукане уточнення поняття докази цієї теорії. Важливість цього уточнення у розвиток математики виявилася особливо за Останнім часом. Розробляючи безліч теорію, вчені зіткнулися з низкою важких проблем, зокрема з проблемою про потужність континууму, висунутої Г. Кантором (1883), до якої до 1939 року не було знайдено задовольнить. підходів. Др. Проблеми, які так само вперто не піддавалися вирішенню, зустрілися в дескриптивній теорії множин, що розробляється сов. математики. Поступово з'ясувалося, що труднощі цих проблем є логічною, що вона пов'язана з неповною виявленістю логіч, що застосовуються. коштів та аксіом і що єдностей. шляхом до її подолання є уточнення тих та інших. З'ясувалося, що вирішення цих завдань вимагає залучення М. л., яка, отже, є наукою, необхідною для розвитку математики. У наст. час надії, що покладалися на М. л. у зв'язку з цими проблемами вже виправдали себе. Щодо проблеми континууму дуже суттєвий результат був отриманий К. Геделем (1939), що довело несуперечність узагальненої континуум-гіпотези Кантора з аксіомами теорії множин за умови, що ці останні несуперечливі. Щодо низки важких проблем дескриптивної теорії множин важливі результатиотримані П. С. Новіковим (1951). Уточнення понять докази аксіоматич. Теорія є важливим етапом її розвитку. Теорії, минулі цей етап, тобто. аксіоматич. теорії із встановленими логіч. засобами, називають д е д у к т і в н ими т е о р і ями. Тільки їм допускають точне формулювання цікавлять математиків проблеми доказовості і несуперечливості в аксіоматич. теоріях. Для вирішення цих проблем у суч. М. л. застосовується метод формалізації доказів. Ідея методу формалізації доказів належить ньому. математику Д. Гільберта. Проведення цієї ідеї стало можливим завдяки розробці М. л. Булем, Порецьким, Шредером, Фреге, Пеано та ін. В даний час метод формалізації доказів є потужним знаряддям дослідження в проблемах обґрунтування математики. Застосування методу формалізації буває зазвичай пов'язані з виділенням логіч. частини аналізованої дедуктивної теорії. Ця логіч. частина, оформлювана, як і вся теорія, як деякого обчислення, тобто. системи формалізованих аксіом та формальних правилвисновку, можна розглядати як самостійне ціле. Найпростішим із логіч. обчислень є обчислення висловлювань, класичне та конструктивне. Формальна відмінність двох обчислень висловлювань відбиває глибоку різницю у тому тлумаченнях, що стосується сенсу пропозициональных змінних і логіч. зв'язок (див. Інтуїціонізм, Обчислення завдань, Логіка висловлювань). Найбільш широко використовується при побудові дедуктивних математич. теорій в наст. час класич. предикатів обчислення, що являє собою розвиток та уточнення класич. теорії суджень Аристотеля і водночас відповідне теоретико-множин. системи абстракцій. Конструктивне обчислення предикатів відноситься до класич. обчислення предикатів так само, як конструктивне обчислення висловлювань до класич. обчислення висловлювань. Найістотніше з розбіжностей між цими двома обчисленнями предикатів пов'язані з тлумаченням у яких приватних, чи екзистенційних, думок. У той час як у конструктивному обчисленні предикатів такі судження тлумачаться як твердження про можливість визначення. конструкцій і вважаються встановленими лише при зазначенні цих конструкцій, класич. обчисленні предикатів екзистенційні судження зазвичай трактуються у відриві від конструктивних можливостей як " чисті " твердження про існування (див. Конструктивне напрям). Більше задовільний тлумачення экзистен-циальных суджень класич. обчислення предикатів, що ув'язує визнач. Таким чином це обчислення з конструктивним обчисленням предикатів було відкрито А. Н. Колмогоровим в 1925. У математиці логіч. обчислення застосовуються у поєднанні зі специфіч. аксіомами дедуктивних теорій, що розгортаються. напр., теорію натуральних чиселможна будувати, поєднуючи аксіоми Пеано для арифметики з обчисленням предикатів (класичним чи конструктивним). Застосовуване у своїй об'єднання логіч. символіки з математичної не лише дозволяє оформляти математич. теорії як обчислень, а й може бути ключем до уточнення сенсу математич. пропозицій. У наст. час сов. математиком Н. А. Шаніним розроблено точні правила конструктивного тлумачення математич. суджень, що охоплюють широкі сфери математики. Застосування цих правил стає можливим лише після того, як розглядається судження записано на належному точному логіко-математич. мовою. Внаслідок застосування правил тлумачення може виявитися конструктивне завдання, що пов'язується з цим судженням. Це, однак, відбувається не завжди: не з кожним математич. пропозицією обов'язково пов'язується конструктивне завдання. З обчисленнями пов'язані наступні поняттята ідеї. Про обчисленні говорять, що воно несуперечливе, якщо в ньому не виводиться жодна формула виду U разом із формулою U (де є знак заперечення). Завдання встановлення несуперечності використовуваних у математиці обчислень є одним із гол. задач М. л. У наст. час це завдання вирішено лише в дуже обмежується. обсязі. Використовуються разл. поняття по л н о ти обчислення. Маючи на увазі охоплення тієї чи іншої змістовно визначеної галузі математики, вважають обчислення повним щодо цієї галузі, якщо в ньому виводиться будь-яка формула, що виражає вірне твердженняз цієї галузі. Інше поняття повноти обчислення пов'язане з вимогою доставляти або доказ, або спростування для будь-якої пропозиції, що формулюється в обчисленні. Першорядне значення у зв'язку з цими поняттями має теорема Геделя–Россера, яка стверджує несумісність вимоги повноти з вимогами несуперечності для широкого класу обчислень. Згідно з теоремою Геделя-Россера, ніяке несуперечливе обчислення з цього класу не може бути повним щодо арифметики: для будь-якого такого обчислення може бути побудовано вірне арифметич. твердження, що формалізується, але не виводиться в цьому обчисленні (див. Метатеорія). Ця теорема, не знижуючи значення М. л. як потужного організуючого засобу в науці, докорінно вбиває надії на цю дисципліну як на щось здатне здійснити загальне охоплення математики в рамках однієї дедуктивної теорії. Надії такого роду висловлювалися багато хто. вченими, у тому числі Гільбертом – головним представником формалізму в математиці – напряму, який намагався звести всю математику до маніпуляцій з формулами за певними разами назавжди встановленим правилам. Результат Геделя і Россера завдав цьому напрямку нищівного удару. У силу їхньої теореми, навіть така порівняно елементарна частина математики, як арифметика натуральних чисел, не може бути охоплена однією дедуктивною теорією. М. л. органічно пов'язана з кібернетикою, зокрема з теорією релейно-контактних схем та автоматів, машинною математикою та лінгвістикою математичною. Програми М. л. до релейно-контактним схемам засновані на тому, що будь-яка двополюсна релейно-контактна схема в слід. сенсі модерує нек-ру формулу U класич. обчислення висловлювань. Якщо схема управляється n реле, то стільки ж різних змінних змінних містить U, і, якщо позначити через bi, судження "Реле номер i спрацювало", то ланцюг буде тоді і тільки тоді замкнена, коли буде вірний результат підстановки суджень b1, ... , bn замість відповідних логіч. змінних в U. Побудова такої моделюваної формули, що описує "умови роботи" схеми, виявляється особливо простою для т.зв. ?-з х е м, одержуваних виходячи з елементарних одноконтактних ланцюгів шляхом паралельних та послідовних з'єднань. Це з тим, що паралельне і послідовне з'єднання ланцюгів моделюють, відповідно, диз'юнкцію і кон'юнкцію суджень. Дійсно, ланцюг, отриманий шляхом паралельного (послідовного) з'єднання ланцюгів Ц1 і Ц2, тоді і тільки тоді замкнутий, коли замкнутий ланцюг Ц1 або (і) замкнутий ланцюг Ц2. Застосування обчислення висловлювань до релейно-контактних схем відкрило плідний підхід до важливим проблемамсуч. техніки. Разом про те цей зв'язок теорії з практикою призвела до постановки та часткового рішення мн. нових і важких проблем М. л., до яких брало в першу чергу відноситься т.зв. проблема мінімізмаці, яка полягає в розшуканні ефективних методів знаходження найпростішої формули, рівносильної даної формули Релейно-контактні схеми є окремим випадком керуючих схем, що застосовуються в совр. автомати. Керуючі схеми інших типів, зокрема, схеми з електронних ламп або напівпровідникових елементів, що мають ще більше практич. значення, також можуть бути розроблювані за допомогою М. л., яка доставляє адекватні засоби як для аналізу, так і для синтезу таких схем. Мова М. л. виявився також застосовним теоретично програмування, створюваної в наст. час у зв'язку з розвитком машинної математики. Нарешті, створений М. л. апарат обчислень виявився застосовним у математичній лінгвістиці, що вивчає мову математич. методами. Однією з осн. Проблем цієї науки є точне формулювання правил граматики аналізованої мови, тобто. точне визначеннятого, що слід розуміти під "граматично правильною фразою цієї мови". Як показав амер. вчений Хомський, є всі підстави шукати розв'язання цього завдання в наступному вигляді: будується деяке числення, і граматично правильними фразами оголошуються вирази, складені зі знаків алфавіту даної мовита виведені в цьому обчисленні. Роботи у цьому напрямі продовжуються. також Алгебра логіки, Конструктивна логіка, Логіка комбінаторна, Логіка класів, Логічне обчислення, Модальна логіка та літ. за цих статтях. О. Марков. Москва.
Одна з назв сучасної логіки, що прийшла у друге. підлога. 19 поч. 20 ст. на зміну традиційної логіки. Як ін назви сучасного етапуу розвитку науки логіки також використовується термін символічна логіка. Визначення… … Філософська енциклопедія
математична логіка- ЛОГІКА СИМВОЛИЧНА, математична логіка, теоретична логіка, область логіки, в якій логічні висновкидосліджуються за допомогою логічних обчислень на основі суворої символічної мови. Термін «Л. с.» був, мабуть, уперше… … Енциклопедія епістемології та філософії науки
МАТЕМАТИЧНА ЛОГІКА– Її ще називають символічною логікою. М. л. це та сама Арістотелева силогістична логіка, але тільки громіздкі словесні висновки замінені в ній математичною символікою. Цим досягається, по-перше, стислість, по-друге, ясність, ... Енциклопедія культурології
МАТЕМАТИЧНА ЛОГІКА- МАТЕМАТИЧНА логіка, дедуктивна логіка, що використовує математичні методи дослідження способів міркувань (висновків); математична теорія дедуктивних способів міркування … Сучасна енциклопедія
МАТЕМАТИЧНА ЛОГІКА- Дедуктивна логіка, що включає математичні методи дослідження способів міркувань (висновків); математична теорія дедуктивних методів міркувань. Математичною логікоюназивають також логіку, якою користуються в математиці. Великий Енциклопедичний словник
МАТЕМАТИЧНА ЛОГІКА- (Символічна логіка), аналітичний розділ логіки, результат застосування математичних методівдо проблем класичної логіки Розглядає поняття, які можуть бути істинними чи хибними, зв'язок між поняттями та оперування ними, включаючи… Науково-технічний енциклопедичний словник
МАТЕМАТИЧНА ЛОГІКА- один із провідних розділів сучасної логіки та математики. Сформувався у 19 20 ст. як реалізація ідеї про можливість записати всі вихідні припущення мовою знаків, аналогічних математичним і тим самим замінити міркування обчисленнями. Новий філософський словник
математична логіка- сущ., кіл у синонімів: 1 логістика (9) Словник синонімів ASIS. В.М. Тришин. 2013 … Словник синонімів
математична логіка- - Тематики електрозв'язок, основні поняття EN mathematical logic... Довідник технічного перекладача
МАТЕМАТИЧНА ЛОГІКА- Теоретична логіка, символічна логіка, розділ математики, присвячений вивченню математич. доказів та питань основ математики. Історичний нарис. Ідея побудови універсальної мовидля всієї математики та формалізації на базі… … Математична енциклопедія
Книги
- Математична логіка, Єршов Юрій Леонідович, Палютін Євген Андрійович. У книзі викладено основні класичні обчислення математичної логіки: обчислення висловлювань та обчислення предикатів; є короткий виклад основних понять теорії множин та теорії… Купити за 1447 грн (тільки Україна)
- Математична логіка, Єршов Ю.Л.. У книзі викладено основні класичні обчислення математичної логіки: обчислення висловлювань та обчислення предикатів; є короткий виклад основних понять теорії множин та теорії.
Вступ
Навчальні питання:
Поняття та визначення математичної логіки.
Основні операції алгебри висловлювань.
Закони та наслідки булевої алгебри.
Висновок
Вступ
Теоретичною основою побудови ЕОМ є спеціальні математичні дисципліни. Однією є алгебра логіки, чи булева алгебра (Дж. Буль - англійський математик ХІХ ст., основоположник цієї дисципліни). Її апарат широко використовують для опису схем ЕОМ, їх проектування та оптимізації.
1. Поняття та визначення математичної логіки.
Логіка- наука, що вивчає закони та форми мислення; вчення про способи міркувань та доказів.
Математична логіка (теоретична логіка, символічна логіка) - розділ математики, що вивчає докази та питання основ математики. «Предмет сучасної математичної логіки різноманітний». Відповідно до визначення П. З. Порецького, «математична логіка є логіка з предмету, математика методом». Згідно з визначенням Н. І. Кондакова, «математична логіка – друга, після традиційної логіки, ступінь у розвитку формальної логіки, що застосовує математичні методи та спеціальний апарат символів та досліджує мислення за допомогою обчислень (формалізованих мов)». Це визначення відповідає визначенню С. К. Кліні: математична логіка – це «логіка, що розвивається за допомогою математичних методів». Також А. А. Марков визначає сучасну логіку "точною наукою, що застосовує математичні методи". Всі ці визначення не суперечать, а доповнюють одне одного.
Застосування в логіці математичних методів стає можливим тоді, коли судження формулюються деякою точною мовою. Такі точні мови мають дві сторони: синтаксис та семантику. Синтаксисом називається сукупність правил побудови об'єктів мови (зазвичай званих формулами). Семантикою називається сукупність угод, що описують наше розуміння формул (або деяких з них) і дозволяють вважати одні формули вірними, інші - ні.
Математична логіка вивчає логічні зв'язкита відносини, що лежать в основі логічного (дедуктивного) висновкуз використанням мови математики.
Закони світу, сутність предметів, спільне у яких ми пізнаємо у вигляді абстрактного мислення. Основними формами абстрактного мислення є поняття, судження та умовиводи.
Концепція- форма мислення, у якій відбиваються суттєві ознаки окремого предмета чи класу однорідних предметів. Поняття у мові виражаються словами.
Обсяг поняття- безліч предметів, кожному з яких належать ознаки, що становлять зміст поняття. Виділяють поняття загальні та поодинокі.
Вирізняють такі відносини понять за обсягом:
тотожністьабо збіг обсягів, що означає, що обсяг одного поняття дорівнює обсягу іншого поняття;
підпорядкуванняабо включення обсягів: обсяг одного з понять повністю включений до обсягу іншого;
винятокобсягів - випадок, у якому немає жодної ознаки, яка перебувала б у двох обсягах;
перетинабо частковий збіг обсягів;
підпорядкуванняобсягів - випадок, коли обсяги двох понять, що виключають одне одного, входять до обсягу третього.
Судження- це форма мислення, в якій що-небудь стверджується або заперечується про предмети, ознаки або їх стосунки.
Висновок- Форма мислення, за допомогою якої з одного або декількох суджень, званих посилками, ми за певними правилами висновку отримуємо судження-висновок.
Алгебрау широкому значенні цього слова наука про загальні операції, аналогічні доданню та множенню, які можуть виконуватися не тільки над числами, а й над іншими математичними об'єктами.
Алгебра логіки (алгебра висловлювань, булева алгебра 1 ) - Розділ математичної логіки, в якому вивчаються логічні операції над висловлюваннями. Найчастіше передбачається (т. зв. бінарна чи двійкова логіка, на відміну від, наприклад, трійкової логіки), що висловлювання може бути лише істинними чи хибними.
Приклади алгебр: алгебра натуральних чисел, алгебра раціональних чисел, алгебра багаточленів, алгебра векторів, алгебра матриць, алгебра множин і т.д. Об'єктами алгебри логіки чи булевої алгебри є висловлювання.
Висловлювання- це будь-яка пропозиція будь-якої мови (ствердження), зміст якої можна визначити як істинне чи хибне.
Будь-яке висловлювання або істинно, або хибно; бути одночасно і тим, і іншим воно не може.
У природною мовоювисловлювання виражаються оповідальними пропозиціями. Вигукові та запитальні пропозиції висловлюваннями не є.
Висловлювання можуть виражатися за допомогою математичних, фізичних, хімічних та інших символів. З двох числових виразів можна скласти висловлювання, поєднавши їх знаками рівності чи нерівності.
Висловлювання називається простим(Елементарним), якщо ніяка його частина сама не є висловлюванням.
Висловлювання, що складається з простих висловлювань, називаються складовим(Складним).
Прості висловлювання в алгебрі логіки позначаються великими латинськими літерами:
А= (Арістотель - основоположник логіки),
У= (На яблунях ростуть банани).
Обгрунтування істинності чи хибності простих висловлювань вирішується поза алгебри логіки. Наприклад, істинність чи хибність висловлювання: «Сума кутів трикутника дорівнює 180 градусів» встановлюється геометрією, причому - у геометрії Евкліда цей вислів є істинним, а геометрії Лобачевського - хибним.
Істинному висловлюванню ставиться у відповідність 1, хибному - 0. Таким чином, А = 1, У = 0.
Алгебра логіки відволікається від змістовної змістовності висловлювань. Її цікавить лише один факт - істинно чи хибно цей вислів, що дає можливість визначати істинність чи хибність складених висловлювань алгебраїчними методами.
МІНІСТЕРСТВО ОСВІТИ І НАУКИ РОСІЙСЬКОЇ ФЕДЕРАЦІЇ
МОСКІВСЬКИЙ ДЕРЖАВНИЙ УНІВЕРСИТЕТ
ПРИЛАДОБУДУВАННЯ ТА ІНФОРМАТИКИ
Кафедра: «ФІЛОСОФІЯ»
За дисципліною: «ЛОГІКА»
Тема № 31: « Математична логіка: предмет, структура та основні принципи операцій»
Виконав:
студент 1 курсу
денного факультету ІТ-7
шифр заліковки 120177ІТ
Прітков Юрій Сергійович
Перевірив:
доцент, к.ф.н.
Блажко Микола Ілліч
Москва – 2012 р.
Вступ
Математична логіка
Предмет математичної логіки
Основні засади операцій
Заперечення
Кон'юнкція
Диз'юнкція
Імплікація
Еквівалентність
Кванторний вислів
Кванторне з квантором загальності
Кванторне з квантором існування
Аксіоматичний метод
Висновок
Вступ
Логіка виникла у культурі Стародавню Грецію. Перше твір, що дійшов до нас, за логікою - «Аналітики» Аристотеля (384-322 рр. до н.е.). Формальна логіка проіснувала без серйозних змін понад двадцять століть. Буль або Бул, а також Буул, Джордж (1815-1864) - англійський математик, який вважається основоположником математичної логіки.
Розвиток математики виявило недостатність Аристотелевої логіки і вимагало її подальшого розвитку. Незалежно розвивалася буддистська логіка, але надбанням європейської наукивона стала нещодавно, тому математична логіка бере початок із логіки Аристотеля. Математична логіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії загалом, які вивчаються за допомогою математичних мов. При цьому насамперед цікавляться питаннями несуперечності математичних теорій, їхньої розв'язності та повноти.
Математична логіка відрізняється тим, що користується мовою математичних та логічних символів, виходячи з того, що в принципі вони можуть зовсім замінити слова звичайної мови та прийняті у звичайних живих мовах способи об'єднання слів у речення. Особливості математичного мислення пояснюються особливостями математичних абстракцій та різноманіттям їх взаємозв'язків. Вони відбиваються у логічній систематизації математики, у доказі математичних теорем. У зв'язку з цим сучасну математичну логіку визначають як розділ математики, присвячений вивченню математичних доказів та питань основ математики.
Математична логіка
В аксіоматичній побудові математичної теоріїпопередньо вибирається деяка система невизначених понять та відносини з-поміж них. Ці поняття та відносини називаються основними. Далі без доказу приймаються основні положення теорії - аксіоми. Весь подальший зміст теорії виводиться логічно з аксіом. Вперше аксіоматичне побудова математичної теорії було здійснено Евклідом у побудові геометрії. Виклад цієї теорії в Початках не бездоганно. Евклід тут намагається дати визначення вихідних понять(Точки, прямий, площині). У доказі теорем використовуються ніде явно не сформульовані положення, які вважаються очевидними. Таким чином, у цій побудові відсутня необхідна логічна строгість, хоча істинність усіх положень теорії не викликає сумнівів.
Зазначимо, що такий підхід до аксіоматичної побудови теорії залишався єдиним до XIX ст. Велику роль зміні такого підходу зіграли роботи М. І. Лобачевського (1792-1856). Лобачевський вперше у явному вигляді висловив переконання у неможливості доказу п'ятого постулату Евкліда та підкріпив це переконання створенням нової геометрії. Пізніше німецький математик Ф. Клейн (1849-1925) довів несуперечність геометрії Лобачевського, чим фактично було доведено і неможливість доказу п'ятого постулату Евкліда. Так виникли і були вирішені в роботах М. І. Лобачевського та Ф. Клейна вперше в історії математики проблеми неможливості доказу та несуперечності в аксіоматичній теорії. Несуперечність аксіоматичної теорії одна із основних вимог, що висуваються до системи аксіом цієї теорії. Вона означає, що з цієї системи аксіом не можна логічним шляхом вивести два суперечливі один одному твердження.
Доказ несуперечності аксіоматичних теорій можна здійснити різними методами. Одним із них є МЕТОД МОДЕЛЮВАННЯ або ІНТЕРПРЕТАЦІЙ. Тут як основні поняття і відносини вибираються елементи деякої множини і відносини між ними, а потім перевіряється, чи будуть виконуватися для обраних понять і відносин аксіоми даної теорії, тобто будується модель для даної теорії. Так, аналітична геометріяє арифметичною інтерпретацією геометрії Евкліда. Ясно, що метод моделювання зводить питання про несуперечність однієї теорії до проблеми несуперечності іншої теорії. Більшість інтерпретацій для математичних теорій (і, зокрема, для арифметики) будується з урахуванням теорії множин. Однак у наприкінці XIXстоліття в теорії множин було виявлено протиріччя (парадокси теорії множин). Яскравим прикладом такого феномена є феномен Б. Рассела. Розіб'ємо всі мислимі множини на два класи. Назвемо безліч нормальним , якщо воно не містить себе як свій елемент і ненормальним в іншому випадку. Наприклад, безліч усіх книг - нормальне безліч, а безліч усіх мислимих речей - ненормальне безліч. Нехай L - безліч всіх нормальних множин. До якого класу належить множина L? Якщо L - нормальне безліч, то L Î L, тобто. міститься у класі нормальних множин, але тоді воно містить себе як свій елемент, і тому ненормально . Якщо L - ненормальне безліч, то L Ï L, тобто. не міститься серед нормальних множин, але тоді L не містить себе як свій елемент, і тому воно нормально . Таким чином, поняття нормального множини призводить до протиріччя.
Спроби усунути протиріччя теорії множин призвели ЦЕРМЕЛО до необхідності побудувати аксіоматичну теорію множин. Наступні видозміни та вдосконалення цієї теорії призвели до створення сучасної теоріїмножин. Однак засоби цієї аксіоматичної теорії не дозволяють довести її несуперечність. Інші методи обґрунтування математики були розвинені Д. Гілбертом (1862-1943) та його школою. Вони ґрунтуються на побудові математичних теорій як синтаксичних теорій, у яких все аксіоми записуються формулами у певному алфавіті і вказуються правила виведення одних формул з інших, тобто. у теорію як складова частинавходить математична логіка.
Таким чином, математична теорія, несуперечність якої потрібно довести, стала предметом іншої математичної теорії, яку Гілберт назвав МЕТАМАТЕМАТИКОЮ, або ТЕОРІЄЮ ДОКАЗІВ. У зв'язку з цим постає завдання побудови синтаксичної, тобто. формалізованої аксіоматичної теорії самої математичної логіки Вибираючи по-різному системи аксіом та правила виведення одних формул з інших, отримують різні синтаксичні логічні теорії. Кожну з них називають ЛОГІЧНИМ ЗЛІЧЕННЯМ.
Предмет математичної логіки
Основна ідея математичної логіки – формалізація знань та міркувань. Відомо, що знання, що найбільш легко формалізуються, - математичні. Таким чином, математична логіка по суті - наука про математику, або метаматематика. Центральним поняттям математичної логіки є "математичний доказ"". Справді, "доказові"" (інакше кажучи, дедуктивні) міркування - єдиний видвизнаних у математиці міркувань. Міркування у математичній логіці вивчаються з погляду форми, а чи не сенсу. По-суті, міркування моделюються суто "механічним" процесом переписування тексту (формул). Такий процес називають висновком. Говорять ще, що математична логіка оперує лише синтаксичними поняттями. Однак зазвичай все ж таки важливо, як співвідносяться міркування з дійсністю (або нашими уявленнями). Тому, треба все ж таки мати на увазі деякий зміст формул і висновку. При цьому використовують термін семантика (синоном слова "смисл") і чітко поділяють синтаксис та семантику. Коли ж дійсно цікавляться тільки синтаксисом, часто використовують термін "формальна система". Ми будемо використовувати синонім цього терміну - "обчислення"" (використовуються ще терміни "формальна теорія"" і "аксіоматика""). Об'єктом формальних систем є рядки тексту (послідовності символів), з допомогою яких записуються формули.
Формальну систему визначено, якщо:
Задано алфавіт (безліч символів, що використовуються для побудови формул).
Виділено безліч формул, які називаються аксіомами. Це – стартові точки у висновках.
Задано безліч правил виведення, які дозволяють із деякої формули (або безлічі формул) отримувати нову формулу.
Основні засади операцій
Заперечення
Заперечення логічного висловлювання - логічне висловлювання, Що приймає значення "істинно", якщо вихідне висловлювання хибне, і навпаки. Це спеціальна логічна операція. Залежно від розташування розрізняють зовнішнє і внутрішнє заперечення, властивості та ролі яких істотно різняться.
Зовнішнє заперечення (пропозиціональне) служить утворенню складного висловлювання з іншого (не обов'язково простого) висловлювання. У ньому стверджується відсутність стану справ, що описується у заперечуваному висловлюванні. Традиційно негативне висловлювання вважається істинним, якщо, і тільки якщо, заперечення висловлювання хибне. У природній мові заперечення зазвичай виражається оборотом «невірно, що», за яким слідує заперечення висловлювання.
У мовах формальних теорій заперечення називається особлива унарна пропозиційна зв'язка, що використовується для освіти з однієї формули іншої, складнішої. Для позначень заперечення зазвичай використовуються символи "заперечення", "-" або "- 1". У класичній логіці висловлювань формула А істинна тоді і тільки тоді, коли формула А помилкова.
Однак у некласичній логіці заперечення може не мати всі властивості класичного заперечення. У зв'язку з цим виникає цілком закономірне питання про мінімальному наборівластивостей, якому повинна задовольняти деяка унарна операція, щоб її можна було вважати запереченням, а також про принципи класифікації різних запереченнях у некласичних формальних теоріях (див.: Dunn JM і Hardegree GM Algebraic Methods in Philosophical Logic. Oxford, 200).
Фактично вказане вище традиційне розуміннязовнішнього (пропозиціонального) заперечення може бути виражено через систему наступних вимог: (I) Якщо А – істинно (хибно), то не-А – хибно (істинно); (II) Якщо не-А – істинно (хибно), то А – хибно (істинно). Формально вимоги (I) і (II) можуть бути виражені через умову (1) А р-iB=>B (= -, А, зване «конструктивна контрапозиція»). виявляється, що умова (1) можна розкласти на дві слабші умови: (2) А (= В=>-,В р-Аі(3)А(= - 1 - А), відомих, відповідно, як «контрапозиція» і «Введення подвійного заперечення».В результаті з'являється можливість виявити підмінімальне заперечення, що задовольняє умові (2), але не задовольняє умові (3). - А = А. Мінімальне заперечення (тобто задовольняє умові (1) або умовам (2) і (3) разом), для якого виконується умова (4), називається заперечення де Моргана. ): Якщо А - В, то для будь-якого С вірно, що А р С («властивість абсурдності»), - називається інтуїціоністським запереченням. Можна сформулювати принцип (6), двоїстий принципу абсурдності: Якщо В |=Аі-S р А, то для будь-якого С вірно, що С р А. Задовольняє цьому принципу заперечення. є різновидом заперечення в паранесуперечливій логіці. Нарешті, заперечення де Моргана (властивості (2), (3), (4)), для якого виконується (5) або (6), називається орто-заперечення Якщо у відповідному обчисленні приймається аксіома дистрибутивності для кон'юнкції та диз'юнкції, то орто- заперечення називається заперечення Буля, чи класичним запереченням.
Внутрішнє заперечення входить до складу простого висловлювання. Розрізняють заперечення у складі зв'язки (негативна зв'язка) та термінове заперечення.
Заперечення у складі зв'язки виражається з допомогою частки «не», що стоїть перед дієсловом-зв'язкою (якщо він є) чи смисловим дієсловом. Воно служить висловлювання суджень про відсутність якихось відносин («Іван знає Петра»), чи освіти негативної предицирующей зв'язки у складі категоричних атрибутивних суджень.
Термінове заперечення використовується для утворення негативних термінів. Воно виражається через приставку «не» чи близькі їй за змістом («Всі незрілі яблука – зелені»).
Кон'юнкція
Кон'юнкція двох логічних висловлювань - логічне висловлювання, істинне лише тоді, коли вони одночасно істинні (від латів. conjunctio - спілка, зв'язок), у широкому значенні - складне висловлювання, утворене за допомогою спілки «і». У принципі можна говорити про кон'юнкцію нескінченного числависловлювань (наприклад, про кон'юнкцію всіх справжніх речень математики). У логіці кон'юнкцією називають логічну зв'язку (операцію, функцію; позначають: &,); освічене з її допомогою складне висловлювання істинно лише за умови однакової істинності його складових. У класичній логіці висловлювань кон'юнкція разом із запереченням складають функціонально-повну систему пропозиційних зв'язок. Це означає, що через них можна визначити будь-яку іншу зв'язку. Однією з властивостей кон'юнкції є комутативність (тобто еквівалентність А&В та В&А). Однак, іноді, говорять про некомутативну, тобто впорядковану кон'юнкцію (прикладом висловлювання з такої кон'юнкції може служити: «Смітник свиснув, і коні поскакали»).
Диз'юнкція
Диз'юнкція двох логічних висловлювань - логічне висловлювання, дійсне лише тоді, коли хоча б одне з них істинно
(від латів. disjunctio - роз'єднання, відокремлення), у сенсі - складне висловлювання, утворене з двох чи більше пропозицій з допомогою союзу «або», що виражає альтернативність, чи вибір.
У символічній логіці диз'юнкцією називають логічну зв'язку (операцію, функцію), що утворює з пропозицій А і складне висловлювання, що позначається зазвичай як А V В, яке є істинним при істинності принаймні одного з двох диз'юнктивних членів: <#"justify">Імплікація
Імплікація двох логічних висловлювань A і B - логічне висловлювання, хибне тільки тоді, коли B хибно, а A істинно (від лат. implicatio - сплетення, від implico - тісно пов'язую) - логічна зв'язка, що відповідає граматичній конструкції «якщо.., то...», за допомогою якої з двох простих висловлювань утворюється складне висловлювання. В імплікативному висловлюванні розрізняють антецедент (підстава) - висловлювання, що йде після слова "якщо", і консеквент (наслідок) - висловлювання, що йде за словом "то". Імплікативний вислів представляє в мові логіки умовне висловлювання звичайної мови. Останнє грає особливу роль, як у повсякденних, і у наукових міркуваннях, основний його функцією є обгрунтування одного шляхом посилання щось інше.
Висловлювану умовним висловлюванням зв'язок обосновывающего і обгрунтовуваного важко охарактеризувати у вигляді, і іноді природа її щодо зрозуміла. Цей зв'язок може бути, зокрема, зв'язком логічного слідування, що має місце між посилками та укладанням правильного висновку («Якщо всі живі багатоклітинні істоти смертні і медуза є такою істотою, то вона смертна»). Зв'язок може являти собою закон природи («Якщо тіло піддати тертю, воно почне нагріватися») або причинний зв'язок(«Якщо Місяць у молодик знаходиться у вузлі своєї орбіти, настає сонячне затемнення»). Розглядається може мати також характер соціальної закономірності, правила, традиції тощо. («Якщо змінюється економіка, змінюється і політика», «Якщо обіцянка дана, вона має бути виконана»).
Зв'язок, що виражається умовним висловом, передбачає, що консеквент з певною необхідністю «випливає» з антецедента і є певний загальний закон, зумівши сформулювати який ми можемо логічно вивести консеквент з антецедента. Наприклад, умовний вислів «Якщо вісмут-метал, він пластичний» передбачає загальний закон «Всі метали пластичні», що робить консеквент даного висловлюваннялогічним наслідком його антецедента.
І в звичайною мовою, і в мові науки умовне висловлювання, крім функції обґрунтування, може виконувати також цілий рядінших завдань. Воно може формулювати умову, яка не пов'язана з к.-л. загальним законом або правилом («Якщо захочу, розріжу свій плащ»), фіксувати якусь послідовність («Якщо минуле літо було сухим, то цього року воно дощове»), виражати в своєрідній формі зневіру («Якщо ви вирішите завдання, я доведу велику теоремуФерма»), протиставлення («Якщо у городі росте капуста, то саду росте яблуня») тощо. Численність та різнорідність функцій умовного висловлювання істотно ускладнює його аналіз.
У логічних системахабстрагуються від особливостей простого вживання умовного висловлювання, що веде до різних імплікацій. Найбільш відомі з них імплікація матеріальна, сувора імплікація та релевантна (доречна) імплікація.
Матеріальна імплікація – одна з основних зв'язок класичної логіки. Визначається вона в такий спосіб: імплікація хибна лише у разі істинності антецедента і хибності консеквента і істинна в інших випадках. Умовний вислів «Якщо А, то В» передбачає деяку реальний зв'язоктим часом, про що йдеться в А і В; вираз «А матеріально імплікує» такого зв'язку не передбачає.
Сувора імплікація визначається через модальне поняття (логічної) неможливості: «А суворо імплікує» означає «Неможливо, щоб А було істинно, а помилково».
У релевантній логіці імплікація сприймається як умовний союз у його звичному значенні. У разі релевантної імплікації не можна сказати, що справжнє висловлювання може бути обґрунтоване шляхом посилання на будь-яке висловлювання і що за допомогою хибного висловлювання можна обґрунтувати будь-яке висловлювання.
Еквівалентність
Еквівалентність двох логічних висловлювань - логічне висловлювання, істинне лише тоді, що вони одночасно істинні чи хибні (від позднелат. equivalens - рівноцінний) - родове найменування різноманітних відносин типу рівності, тобто. рефлексивних, симетричних та транзитивних бінарних відносин. Приклади: еквіполентність (збіг за змістом, значенням, змістом, виразними та (або) дедуктивними можливостями між поняттями, концепціями, наук. теоріями або формальними їх формальними системами) конгруентність або подоба геометрія, фігур; ізоморфізм; рівносильність множин та інші еквівалентність будь-яких об'єктів означає їх рівність (тотожність) у будь-якому відношенні
(наприклад, ізоморфні множини невиразні за своєю "структурою", якщо під "структурою" розуміти сукупність тих їх властивостей, щодо яких ці множини ізоморфні). Будь-яке відношення еквівалентності породжує розбиття множини, на якому воно визначено, на "класи еквівалентності", що попарно не перетинаються, в один клас відносять при цьому еквівалентні один одному елементи даної множини.
Розгляд класів еквівалентності як нових об'єктів є одним із основних способів породження (введення) абстрактних понять у логіко-математичних (і взагалі природничо-наукових) теоріях. Так, вважаючи еквівалентними дроби a/b та c/d з цілими чисельниками та знаменниками, якщо ad=bc, вводять у розгляд раціональні числаяк класи еквівалентних дробів; вважаючи еквівалентними множини, між якими можна встановити взаємно-однозначну відповідність, вводять поняття потужності (кардинального числа) множини (як клас еквівалентних між собою множин); вважаючи еквівалентними два шматки речовини, що вступають у рівних умовах в однакові хімічні реакції, приходять до абстрактного поняття хімічного складуі т.п.
Термін "еквівалентність" вживають часто не (тільки) як родовий, а як синонім деяких з його приватних значень ("еквівалентність теорій" замість "еквівалентність", "еквівалентність множин" замість "рівнопотужність", "еквівалентність слів" в абстрактній алгебрі " і т.п.).
Кванторний вислів
Кванторне з квантором загальності.
Кванторне логічне висловлювання з квантором загальності ("xA(x)) - логічне висловлювання, дійсне лише тоді, коли кожного об'єкта x із заданої сукупності висловлювання A(x) істинно.
Кванторне із квантором існування.
Кванторне логічне висловлювання з квантором існування ($xA(x)) - логічне висловлювання, істинне лише тоді, як у заданої сукупності існує об'єкт x, такий, що висловлювання A(x) істинно.
Структура математичної логіки
Розділ «математична логіка» складається з трьох частин: за неформальним аксіоматичний метод, за логікою висловлювань і за логікою предикатів (першого порядку). Аксіоматичний метод побудови – перший крок на шляху до формалізації теорії. Більшість завдань, що розглядаються в математичній логіці, полягає у доказі деяких тверджень. Математична логіка має багато розгалужень. Вона застосовує таблична побудовалогіки висловлювань, використовує спеціальну мову символів та формули логіки висловлювань.
Неформальний аксіоматичний метод
Аксіоматичний метод, який не фіксує жорстко застосовуваної мови і тим самим не фіксує межі змістовного розуміння предмета, але вимагає аксіоматичного визначення всіх спеціальних для даного предмета дослідження понять. Цей термін немає загальноприйнятого тлумачення.
Історія розвитку аксіоматичного методу характеризується все більшим ступенем формалізації. Неформальний аксіоматичний метод – певний ступінь у цьому процесі.
Початкова, дана Евклідом, аксіоматична побудова геометрії відрізнялася дедуктивним характером викладу, при якому в основу клалися визначення (пояснення) та аксіоми (очевидні твердження). З них, спираючись на здоровий глузд і очевидність, виводилися слідства. При цьому у висновку неявно іноді використовувалися не зафіксовані в аксіомах припущення геометрія, характеру, що особливо відносяться до руху в просторі взаємному розташуваннюпрямих та точок. Згодом було виявлено геометрію, поняття та їх вживання аксіоми, що неявно використовуються Евклідом та його послідовниками. При цьому виникало питання: чи справді виявлено усі аксіоми. Керівний принцип для вирішення цього питання сформулював Д. Гільберт (D. Hilbert): "Слід домогтися того, щоб з рівним успіхом можна було говорити замість точок, прямих і площин про столи, стільці та пивні кружки". Якщо доказ не втрачає доказової сили після такої заміни, то всі спеціальні припущення, що використовуються в цьому доказі, зафіксовані в аксіомах. Ступінь формалізації, що досягається при такому підході, являє собою рівень формалізації, характерний для неформального аксіоматичного методу. Еталоном тут може бути класична праця Д. Гільберта "Підстави геометрії".
Неформальний аксіоматичний метод застосовується як надання певної завершеності аксіоматично викладеної конкретної теорії. Він є дієвою зброєю математичного дослідження. Оскільки щодо системи об'єктів з цього методу немає їх специфіка, чи " природа " , то доведені твердження переносяться будь-яку систему об'єктів, задовольняє аналізованим аксіомам. Відповідно до неформального аксіоматичного методу, аксіоми - це неявні визначення початкових понять (а чи не очевидні істини). Що являють собою об'єкти, що вивчаються - неважливо. Все, що потрібно про них знати, сформульовано в аксіомах. Предметом вивчення аксіоматичної теорії є будь-яка її інтерпретація.
Неформальний аксіоматичний метод, окрім неодмінного аксіоматичного визначення всіх спеціальних понять, має й іншу характерну особливість. Це вільне, неконтрольоване аксіомами, засноване на змістовному розумінні використання ідей та понять, які можна застосувати до будь-якої мислимої інтерпретації, незалежно від її змісту. Зокрема, широко використовуються теоретико-множинні та логічного поняттяі принципи, і навіть поняття, пов'язані з ідеєю рахунки, та інших. Проникнення аксіоматичний метод міркувань, заснованих на змістовному розумінні і здоровому глузді, а не на аксіомах, пояснюється не фіксованістю мови, якою формулюються і доводяться властивості аксіоматично заданої системиоб'єктів. Фіксування мови веде до поняття формальної аксіоматичної системи та створює матеріальну основу для виявлення та чіткого опису допустимих логічних принципів, для контрольованого вживання теоретико-множинних та інших загальних чи не спеціальних для досліджуваної галузі понять. Якщо в мові немає засобів (слів) для передачі теоретико-множинних понять, то цим відсіваються всі докази, що ґрунтуються на використанні таких засобів. Якщо в мові є засоби для вираження деяких теоретико-множинних понять, їх застосування в доказах можна обмежити певними правиламичи аксіомами.
Фіксуючи по-різному мову, отримують різні теорії основного об'єкта розгляду. Наприклад, розглядаючи мову вузького обчислення предикатів для теорії груп, одержують елементарну теоріюгруп, у якій не можна сформулювати будь-якого твердження про підгрупи. Якщо перейти до мови обчислення предикатів другого ступеня, з'являється можливість розглядати властивості, у яких фігурує поняття підгрупи. Формалізацією неформального аксіоматичного методу в теорії груп служить перехід до мови системи Цермело - Френкеля з її аксіоматикою.
Аксіоматичний метод
Аксіоматичний метод - спосіб побудови наукової теорії, при якому в її основу кладуться деякі вихідні положення(судження)- аксіоми, чи постулати, у тому числі й інші твердження цієї теорії мають виводитися суто логічним шляхом, у вигляді доказів. Побудова науки на основі аксіоматичного методу зазвичай називається дедуктивним. Усі поняття дедуктивної теорії (крім фіксованого числа початкових) запроваджуються у вигляді визначень, що виражають їх через раніше введені поняття. У тій чи іншій мірі дедуктивні докази, характерні для аксіоматичного методу, застосовуються в багатьох науках, проте головна сфера його застосування - математика, логіка, а також деякі розділи фізики.
Ідея аксіоматичного методу вперше була висловлена у зв'язку з побудовою геометрії в Стародавній Греції (Піфагор, Платон, Аристотель, Евклід). Для сучасної стадіїрозвитку аксіоматичного методу характерна висунута Гільбертом концепція формального аксіоматичного методу, яка ставить завдання точного опису логічних засобів виведення теорем з аксіом. Основна ідея Гільберта - повна формалізація мови науки, коли її судження розглядаються як послідовності знаків (формули), які набувають сенсу лише за певної конкретної інтерпретації. Для виведення теорем із аксіом(і взагалі одних формул з інших) формулюються спец. правила виведення. Доказ у такій теорії (обчисленні, чи формальної системі) - це деяка послідовність формул, кожна з яких або є аксіома, або виходить із попередніх формул послідовності за яким-небудь правилом виведення. На відміну від таких формальних доказів, властивості самої формальної системи загалом вивчаються. засобами метатеорії. Основні вимоги до аксіоматичних формальних систем - несуперечність, повнота, незалежність аксіом. Гільбертівська програма, яка передбачала можливість довести несуперечність і повноту всієї класичної математики, загалом виявилася нездійсненною. У 1931 Гедел довів неможливість повної аксіоматизації досить розвинених наукових теорій(Напр., Арифметики натуральних чисел), що свідчило про обмеженість аксіоматичного методу. Основні принципи аксіоматичні методибули піддані критиці прихильниками інтуїціонізму та конструктивного спрямування.
Висновок
Математична логіка є наукою про закони математичного мислення. Застосування математики до логіки дозволило уявити логічні теорії в новій зручній формі та застосувати обчислювальний апарат до вирішення задач, малодоступних людському мисленню, і це, звичайно, розширило область логічних досліджень. Сфера застосування математичної логіки дуже широка. З кожним роком зростає глибоке проникнення ідей та методів математичної логіки в інформатику, обчислювальну математику, лінгвістику, філософію. Потужним імпульсом для розвитку та розширення галузі застосування математичної логіки стала поява електронно-обчислювальних машин. Виявилося, що в рамках математичної логіки вже готовий апарат для проектування обчислювальної техніки. Методи та поняття математичної логіки є основою, ядром інтелектуальних інформаційних систем. Засоби математичної логіки стали ефективним робочим інструментом для фахівців з багатьох галузей науки і техніки. Математичну логіку необхідно знати всім фахівцям, незалежно в якому середовищі він працює (будь то інженер, викладач, юрист чи просто лікар).
Список використаної літератури
математична логіка висловлювання кон'юнкція
Інтернет-ресурс: # "justify">1.
Репетиторство
Потрібна допомога з вивчення якоїсь теми?
Наші фахівці проконсультують або нададуть репетиторські послуги з цікавої для вас тематики.
Надішліть заявкуіз зазначенням теми прямо зараз, щоб дізнатися про можливість отримання консультації.
