ПЕРЕЛІК ДИСЦИПЛІН:
» Журналістика
» Видавнича справа та поліграфія
» Іноземна мова
» Історія
» Історія техніки
» Комунікації і зв'язок
» Краєзнавство та етнографія
» Короткий зміст творів
» Кулінарія
» Культура та мистецтво
» Культурологія
» Зарубіжна література
» Російська мова
» Маркетинг
» Математика
» Медицина, здоров'я
» Медичні науки
» Міжнародні відносини
» Менеджмент
» Податки, оподаткування
» Право
» Релігія і міфологія
» Соціологія
» Фізика
» Філософія
» Фінансові науки
» Хімія
» Екологія
» Етика
 
Бесплатные рефераты
DMCA.com Protection Status
 

 

 

 

 

 

     
 
Математична логіка
     

 

Вадим Руднєв < її

також відомий як символічна логіка. Математична логіка - це логіка силогістичної ж Аристотеля, але стомлююче словесне висновок заміни математичні символи. Щоб добитися цього, перший короткий, другий, ясність, і третій, точність. Ось приклад. Відомий силогізм. Передумова: "Всі люди смертні". Мала посилка: "Сократ - людина". Висновок: В«Таким чином, Сократ смертний". Ми можемо замінити ім'я "Сократ", "народ" і У готелі "фатальний" буквами, відповідно, в х і у. Слово називається "All" квантор - на, які будуть обговорюватися нижче. Він вказує, що так звані гротескні перевернутої букви: < * < символічно написати передумови: * < V (X ) (Y), що спостерігається у всіх майна фізичних осіб х - всі люди, всі смертні. Символічно написати невелику посилку C (X), що окремі права власності на майно X - Сократ смертельно. Висновок: C (Y) є особистим майном у. Сократ є смертельною. Зараз ми пишемо повному розумінні цього силогізму (логічна послідовність): * < сайт

(X) (Y) (X) -> C (Y) < Це

, "Якби всі люди смертні, Сократ людина, то Сократ смертельно" Якщо ви пишіть, ви повинні використовувати більше 60 символів (букв), якщо символічно, наша спільна 12 символів, 5 рази. Якщо ви хочете оскаржити рішення, зберігши ефект дуже очевидно. P> так чи інакше, але тільки в кінці дев'ятнадцятого століття. Німецький Фреге логіка розвитку символ обчисленні, тільки на початку 20 століття. Бертран Рассел і Альфред Дуайт чорного протягом трьох робочих томи "Principia Mathematica" побудови гармонійного математичної логіки. < М. л. Два типи героїв - сказав змінна об'єктів, атрибути та зв'язки, а також зв'язки, сказав, що логічний зв'язок між об'єктом і звітності. Для наших цілей достатньо виділити наступні пакети: < і - союзи, підключення, читання "і" слово, в основному, в цьому сенсі, < У

, - диз'юнктивні, дискретним, прочитати слово "або" - конотація, "якщо ..., то ..." , P> ~ - відмовили, це не правильно ... "< = - однолітків подобається ..." < в

За непідтвердженими кілька очевидних аксіом на основі так званих законів логіки будь-якої логічної системи. У звичайних двох логічних значень, тобто в таких логічних виразів з двох значень (істина і брехня), відокремлюючи чотири основних законів. < 1. Ідентичність закон: P = P, будь-яка заява, яке відповідає їх власним. - Все вихідній точці, будь-які ідеї, особистості самого об'єкта. Але немає ніякої логіки, це законно. Наприклад, в контексті aleticheskih шляху (колії), ми можемо сказати: "Цілком можливо, дощ" і "можливо, і дощ не йде" - це не протиріччя "Дощ у нормальну пропозицію логіки. наступний "," Не дощ не буде протиріч Закон заперечення заперечення: .. P = ~ ~ ~ P подвійне заперечення, яке еквівалентно його заяву "дощ" = "Я думаю, що це не дощ"

3 юридичні ряд: * < (PV ~ ~ P), обидва твердження істинними або помилковими - немає третьої (закони, застосовні в рядок, щоб побачити значення логічного об'єкта) обмежений набір кінцевих

4 закону протиріччя: ~ (~ р і Р), який не є. правильне твердження може бути як істинним і хибним. < це

ввести два поняття, одне з яких ми ввели на початку статті. твердження, що ми говорили про досі, недиференційоване, але заява суб'єкта і предиката. займається у відносинах частині М. л. між проблемою і вираження предиката, кількісна теорія. Можна сказати, що предикат цій групі тему, загальні для всіх властивості або відносини, або тільки одну частину Наприклад, твердження В«чорні собакиВ» відноситься до деяких з собак всі собаки "чорний". символ замінити В«деякіВ» слід називати кванторів існує, або квантором існування сказав гротескні зворотному листа * < .

E 3 3 (X) (Y) - деякі собаки чорні < Але

атрибути, спільні для всіх собак, наприклад, все .. . собак (зрозуміло, живих) є голова змінили характер слово "все", він повинен знати, квантор загальності, або універсальний квантор: * < V (X) ( Y) - природа все голови собаки 3 (х, у ) це

якщо цей атрибут є загальним для всіх об'єктів, вони мають ряд об'єктів. очевидно, позачергове доказ юридичного логіці подальший хід мислення. Людвіг Вітгенштайн писав: В«Якщо ви знаєте, що з іншого боку, подальше забезпечення "B> P> Кліні С. логіка - .. М., 1974. < Церкви А. Введення число математичної логіки - М., 1959 < для

підготовки даної роботи використовувати матеріал з сайту lib.ru Посилання

//DIV>
     
 
     
Українські реферати
 
Рефераты
Українські реферати
8.1 of 10 on the basis of 750 Review.
 

 

 

 

 

 

 

 
 
 
  Українські реферати | Все права защищены.