Таблиця правди
Що таке істина:
Таблиця істини або таблиця істини є математичним інструментом, що широко використовується в області логічних міркувань. Її метою є перевірка логічної обґрунтованості складеного пропозиції (аргумент, утворений двома або більше простими пропозиціями).
Приклади складних пропозицій:
- Джон високий, а Марія коротка.
- Педро високий або Йоана - блондинка.
- Якщо Педро високий, то Йоана червона.
Кожна з наведених вище пропозицій утворена двома простими суперечками, сполученими сполучними елементами жирним шрифтом. Кожне просте пропозиція може бути або істинним, або помилковим, і це безпосередньо буде означати логічне значення складеної пропозиції. Якщо прийняти фразу " Іван високий, а Марія - низька ", можливими оцінками цього твердження будуть:
- Якщо Іван високий, а Марія - низька, то фраза "Іван високий, а Марія - низька" - ІСТИНА.
- Якщо Іван високий, а Марія не низька, то фраза "Іван високий, а Марія - низька" - ЛОЖЬ.
- Якщо Іван не високий, а Марія - низька, то фраза "Іван високий, а Марія - низька" - ЛОЖЬ.
- Якщо Іван не високий і Марія не низька, то фраза "Іван високий, а Марія - низька" - ЛОЖЬ.
Таблиця істинності схематизує це ж міркування (див. Розділ « Кон'юнкція» нижче) більш прямо. Крім того, правила таблиці правди можуть застосовуватися незалежно від кількості пропозицій у реченні .
Як це працює?
По-перше, перетворити пропозиції питання на символи, що використовуються в логіці. Список універсальних символів:
Символ | Логічна операція | Значення | Приклад |
---|---|---|---|
стор | . | Пропозиція 1 | p = Джон високий. |
q | . | Пропозиція 2 | q = Марія низька. |
~ | Відмова | ні | Якщо Джон високий, " ~ p " є FALSE. |
^ | Кон'юнкція | і | p ^ q = Джон високий і Марія низька. |
v | Disjunction | або | p v q = Джон високий або Марія низька. |
→ | Умовні | якщо так | p → q = Якщо Джон високий, то Марія низька. |
(Т.е. | Бікондиційна | якщо і тільки якщо | p = q = Джон високий тоді і тільки тоді, коли Марія низька. |
Далі виставляється таблиця з усіма можливостями оцінки складеної пропозиції, підставляючи затвердження символами. Варто уточнити, що у випадках, коли існує більше двох положень, вони можуть бути символізовані буквами r, s і так далі.
Нарешті, застосовується логічна операція, визначена показаною сполучною. Згідно з переліком вище, ці операції можуть бути: заперечення, кон'юнкція, диз'юнкція, умовна, і двоядерна.
Відмова
Відмова символізує ~. Логічна операція заперечення є найпростішою і часто поширює використання таблиці істинності. Слідуючи тому ж прикладу, якщо Джон високий (p), щоб сказати, що Джон не високий (~ p), є FALSE, і навпаки.
Кон'юнкція
З'єднання символізує ^ . Приклад "Іван високий і Марія низький" буде символізуватися "p ^ q", а таблиця істинності буде:
Кон'юнкція передбачає ідею накопичення, тому, якщо одне з простих пропозицій є помилковим, то неможливо, щоб складене твердження було істинним.
Висновок : кон'юнктивні композиційні твердження (що містять сполучну е ) будуть вірні лише тоді, коли всі їхні елементи є істинними.
Приклад:
- Пауло, Ренато і Туліо добрі, і Керолайн смішна. - Якщо Пауло, Ренато або Туліо не є добрими, або Кароліна не смішна, то пропозиція буде ФАЛЬШ. Необхідно, щоб вся інформація була істинною, так що складна пропозиція - TRUE.
Disjunction
Диз'юнкція символізується v . Обмін сполучною з наведеного вище прикладу або ми матимемо "Джон високий або Марія низький". У цьому випадку речення буде символізуватися "p v q", а таблиця істинності буде:
Диз'юнкція передбачає уявлення про чергування, тому достатньо, щоб одне з простих пропозицій було істинним, так що з'єднання є також.
Висновок : диз'юнктивні композиційні твердження (що містять або сполучні) будуть помилковими лише тоді, коли всі їхні елементи помилкові.
Приклад:
- Моя мати, мій батько або мій дядько дадуть мені подарунок. - Для того, щоб висловлювання було істинним, достатньо, щоб тільки один між матір'ю, батьком або дядьком дарував подарунок. Пропозиція буде тільки FALSE, якщо жодна з них не дасть.
Умовні
Умовні символізує →. Воно виражається самими сполучниками, а потім, які з'єднують прості положення в причинному відношенні. Приклад "Якщо Пауло є Каріока, то він бразилець" стає "p → q", а таблиця істинності буде:
Умовні умови мають одне попереднє і одне послідовне положення , розділене тоді сполучною. При аналізі умовних умов необхідно оцінити випадки, в яких пропозиція може бути можлива, з урахуванням зв'язку імплікації між попередніми і наступними.
Висновок : Умовні складні пропозиції (що містять зв'язки, якщо і тільки) будуть лише помилковими, якщо перше твердження є істинним, а друге - помилковим.
Приклад:
- Якщо Паулу є Каріока, то він бразилець. - Для того, щоб ця пропозиція розглядалася як ІСТИНА, необхідно оцінити випадки, в яких це можливо. Згідно з таблицею правди вище, ми маємо:
- Пауло - бразильський / Пауло - бразильський = МОЖЛИВО
- Пауло не є бразильським = неможливим
- Пауло не з Каріока / Пауло є бразильцем = Можливо
- Пауло не є Каріока / Пауло не є бразильцем = Можливо
Бікондиційна
Біконденсат символізує . Її читають через сполучні, якщо і тільки тоді, коли вони з'єднують прості пропозиції у відношення еквівалентності. Приклад "Джон щасливий, якщо і тільки якщо Марія посміхається". стає "p" q ", а таблиця істинності буде:
Двоконденсатне припускає ідею взаємозалежності. Як свідчить сама назва, бікондиційна складається з двох умовностей: однієї, яка відходить від p до q (p → q), а інша в протилежному напрямку (q → p).
Висновок : Пропозиції, складені двоядерними (містять зв'язки, якщо і тільки тоді ), будуть істинні лише тоді, коли всі твердження істинні, або всі твердження помилкові.
Приклад:
- Джон щасливий, якщо і тільки якщо Марія посміхається. - Це означає, що:
- Якщо Джон щасливий, Марія посміхається, і якщо Марія посміхається, Джон щасливий = ІСТИНА
- Якщо Жоао не щасливий, Марія не посміхається, і якщо Марія не посміхається, Жоао не щасливий = ІСТИНА
- Якщо Джон щасливий, Марія не посміхається
- Якщо Джон не щасливий, Марія посміхається = ЛОЖА
Загальний огляд
Загальноприйнятим для вчених таблиці правди є запам'ятовування висновків кожної з логічних операцій. Щоб заощадити час на вирішенні проблем, завжди пам'ятайте, що:
- Кон'юнктивні пропозиції: Вони будуть вірні лише тоді, коли всі елементи є істинними.
- Диз'юнктивні пропозиції: Вони будуть помилковими лише тоді, коли всі елементи помилкові.
- Умовні пропозиції: Вони будуть помилковими лише тоді, коли перше твердження є істинним, а друге - помилковим.
- Бікондріческіе пропозиції: Вони будуть істинними лише тоді, коли всі елементи вірні, або всі елементи є помилковими.