Arabic Bulgarian Chinese Croatian Czech Danish Dutch English Estonian Finnish French German Greek Hebrew Hindi Hungarian Icelandic Indonesian Italian Japanese Korean Latvian Lithuanian Malagasy Norwegian Persian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swedish Thai Turkish Vietnamese
Arabic Bulgarian Chinese Croatian Czech Danish Dutch English Estonian Finnish French German Greek Hebrew Hindi Hungarian Icelandic Indonesian Italian Japanese Korean Latvian Lithuanian Malagasy Norwegian Persian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swedish Thai Turkish Vietnamese
definition - імплікації
Матеріал з Вікіпедії - вільної енциклопедії
Імплікація - бінарна логічна зв'язка, по своєму застосуванню наближена до спілкам «якщо ... то ...».
Імплікація записується як посилкаследствіе; застосовуються також стрілки іншої форми і спрямовані в іншу сторону (вістря завжди вказує на наслідок) .Сужденіе. виражається импликацией, виражається також наступними способами:
- Посилка є умовою. достатнім для виконання слідства;
- Слідство є умовою, необхідною для істинності посилки.
булева логіка
У булевої логіки імплікація - це функція двох змінних (вони ж - операнди операції, вони ж - аргументи функції). Змінні можуть набувати значень з множини. Результат також належить множині. Обчислення результату проводиться по простому правилу, або по таблиці істинності. Замість значень може використовуватися будь-яка інша пара відповідних символів, наприклад або або "брехня", "істина".
правило:
Імплікація як булева функція помилкова лише тоді, коли посилка істинна, а наслідок ложно.
Таблиці істинності:
пряма імплікація (від a до b) (матеріальна імплікація, матеріальний кондіціонал)
відповідає функції f (10,1,1101) 2 (x, y) = f (2,1,13) 10 (x, y);
якщо a<=b , то истино (1),
зворотна імплікація (від b до a)
відповідає функції f (10,1,1011) 2 (x, y) = f (2,1,11) 10 (x, y),
якщо a> = b, то истино (1),
зворотна імплікація - заперечення (негації, інверсія) виявлення збільшення (переходу від 0 до 1, инкремента),
заперечення (інверсія, негації) зворотної імплікації,
розряд позики в довічним полувичітателе,
багатозначна логіка
Цей розділ статті ще не написаний.
Згідно з задумом одного з учасників Вікіпедії, на цьому місці повинен розташовуватися спеціальний розділ.
Ви можете допомогти проекту, написавши цей розділ.
теорія множин
Імплікація висловлювань означає, що одне з них випливає з другого.Імплікація позначається символом ⇒, і їй відповідає вкладення множин: нехай A ⊂B, тоді
Наприклад, якщо A - безліч всіх квадратів, а B - безліч прямокутників, то, звичайно, A ⊂ B і
(Якщо a є квадратом, то a є прямокутником).
Класична логіка
Можна довести еквівалентність імплікації A → B формулою (з першого погляду більш очевидна її еквівалентність формулою, яка приймає значення «брехня» в разі, якщо виконується A (посилка), але не виконується B (наслідок)).
Цей розділ не завершений.
Ви допоможете проекту, виправивши і доповнивши його.
Інтуїционістськая логіка
У интуиционистской логіці імплікація жодним чином не зводиться до заперечень. Швидше навпаки, заперечення ¬A можна представити у вигляді A → ⊭, де ⊭ - пропозіціональная константа «брехня». Втім, таке уявлення заперечення можливо і в класичній логіці.
У интуиционистской теорії типів імплікації відповідає безліч (тип) відображень з A в B.
логіка силогізмів
У вченні про силогізм імплікації відповідає «общеутвердительное атрибутивное висловлювання».
програмування
У мовах програмування імплікація використовується, як правило, неявно.Напрімер, конструкція типу:
буде успішно виконуватися якщо і тільки якщо вірна імплікація A → B.Прі цьому, якщо A було знайдено хибним, то перевірка B не матиме місця взагалі.