2.12: Зворотні, зворотні та контрапозитивні твердження
Умовні заяви, отримані з оператора if - то.
Зворотний, зворотний і контрапозитивний
Розглянемо твердження: Якщо погода хороша, то вимию машину. Ми можемо переписати це твердження, використовуючи літери для представлення гіпотези та висновку.
p=theweatherisniceq=I′llwashthecar
Тепер твердження таке: ifp, тоq, який також може бути записаний якp→q.
Ми також можемо зробити заперечення, або «nots»,p іq. Символічна версія «not p» -\ (\ sim p.
∼p=theweatherisnotnice∼q=Iwon′twashthecar
Використовуючи ці «ноти» і перемикаючи порядокp іq, ми можемо створити три нових заяви.
Converseq→pIfIwashthecar⏟q,thentheweatherisnice⏟p.
Inverse∼p→∼qIftheweatherisnotnice⏟p,thenIwon′twashthecar⏟q.
Contrapositive∼q→∼pIfIdon′twashthecar⏟q,thentheweatherisnotnice⏟p.
Якщо твердження «якщо-то» вірно, то і контрапозитив вірний. Контрапозитив логічно еквівалентний оригінальному твердженню. Зворотне і зворотне може бути істинним, а може і не бути. Коли початкове твердження і зворотне є істинними, то твердження є біумовним твердженням. Іншими словами, якщоp→q істинно іq→p є істинним, тоp↔q (сказав «pякщо і тільки якщоq»).
Що робити, якщо вам дали умовне твердження на кшталт «Якщо я піду до школи, то я запізнися»? Як ви могли б змінити і/або заперечити цю заяву, щоб сформувати нові умовні оператори?
Приклад2.12.1
Якщоn>2, тоn2>4.
Знайдіть зворотне, зворотне та контрапозитивне. Визначте, чи є кожен результуючий оператор істинним чи хибним Якщо вона неправдива, знайдіть контрприклад.
Рішення
Оригінальне твердження вірно.
Converse_: Якщоn2>4, тоn>2.
Помилкові. Якщоn2=9,n=−3or3. (−3)2=9
Inverse_: Якщоn≤2, тоn2≤4.
Помилкові. Якщоn=−3, тоn2=9.
Contrapositive_: Якщоn2≤4, тоn≤2.
Правда. Єдинеn2≤4 - 1 або 4. √1=±1і√4=±2, які обидва менше або рівні 2.
Приклад2.12.2
Якщо я в Діснейленді, то я в Каліфорнії.
Знайдіть зворотне, зворотне та контрапозитивне. Визначте, чи є кожен результуючий оператор істинним чи хибним Якщо вона неправдива, знайдіть контрприклад.
Рішення
Оригінальне твердження вірно.
Converse_: Якщо я перебуваю в Каліфорнії, то я в Діснейленді.
Помилкові. Я міг би бути в Сан-Франциско.
Inverse_: Якщо я не в Діснейленді, то я не в Каліфорнії.
Помилкові. Знову ж таки, я міг би бути в Сан-Франциско.
Contrapositive_: Якщо я не в Каліфорнії, то я не в Діснейленді.
Правда. Якщо я не перебуваю в штаті, я не міг би бути в Діснейленді.
Зверніть увагу на зворотне і зворотне ми можемо використовувати той же контрприклад.
Приклад2.12.3
Перепишіть як біумовний оператор: Будь-які дві точки є колінеарними.
Рішення
Це твердження можна переписати як:
Дві точки знаходяться на одній лінії тоді і тільки тоді, коли вони колінеарні. Замініть «if-то» на «if і тільки якщо» посередині заяви.
Приклад2.12.4
Будь-які дві точки є колінеарними.
Знайдіть зворотне, зворотне та контрапозитивне. Визначте, чи є кожен результуючий оператор істинним чи хибним Якщо вона неправдива, знайдіть контрприклад.
Рішення
Спочатку змініть заяву на «якщо-тоді»:
Якщо дві точки знаходяться на одній лінії, то вони колінеарні.
Converse_: Якщо дві точки колінеарні, то вони знаходяться на одній лінії. Правда.
Inverse_: Якщо дві точки знаходяться не на одній лінії, то вони не колінеарні. Правда.
Contrapositive_: Якщо дві точки не колінеарні, то вони не лежать на одній лінії. Правда.
Приклад2.12.5
Нижче наведено правдиве твердження:
m∠ABC>90∘якщо і тільки∠ABC якщо тупий кут.
Визначте два істинних твердження в рамках цього біумовного.
Рішення
Твердження 1: Якщоm∠ABC>90∘, то∠ABC є тупим кутом.
Твердження 2: Якщо∠ABC тупий кут, тоm∠ABC>90∘.
Рецензія
Для питань 1-4 використовуйте твердження:
ЯкщоAB=5 іBC=5, тоB це середина¯AC.
- Це правдиве твердження? Якщо ні, то що таке контрприклад?
- Знайдіть зворотне це твердження. Це правда?
- Знайдіть зворотне цьому твердженню. Це правда?
- Знайдіть контрапозитив цього твердження. Яке твердження воно таке ж, як?
Знайдіть зворотне кожне істинне твердження if - то. Якщо зворотне вірно, напишіть біумовний оператор.
- Гострий кут менше90∘.
- Якщо ви перебуваєте на пляжі, значить, ви вигоріли сонцем.
- Якщоx>4, тоx+3>7.
Для питань 8-10 визначте два істинних умовних твердження з заданих біумовних тверджень.
- Громадянин США може голосувати лише тоді, коли йому або їй виповнилося 18 і більше років.
- Ціле число є простим тоді і тільки тоді, коли його множники дорівнюють 1 і саме по собі.
- 2x=18якщо і тільки якщоx=9.
Огляд (Відповіді)
Щоб переглянути відповіді на рецензію, відкрийте цей PDF-файл і знайдіть розділ 2.4.
Ресурси
Лексика
Термін | Визначення |
---|---|
двоумовне твердження | Оператор є двозастережним, якщо початковий умовний оператор і зворотний оператор є істинними. |
Умовний оператор | Умовний оператор (або 'if-то' оператор) - це твердження з гіпотезою, за якою слідує висновок. |
контрапозитивний | Якщо умовний оператор єp→q (якщоp то q), то контрапозитивним є∼q→∼p (якщо не q, то не p). |
зворотний | Якщо умовний оператор єp→q (pif, тоq), то зворотним єq→p (ifq, тоp. Зауважте, що зворотне твердження не відповідає дійсності лише тому, що оригінальне твердження є істинним. |
зворотний | Якщо умовний оператор єp→q, то зворотним є∼p→∼q. |
Логічно еквівалентний | Твердження логічно еквівалентне, якщо твердження «якби тоді» та контрапозитивне твердження є істинними. |
передумова | Передумова - це початкове твердження, яке ви використовуєте, щоб зробити логічні висновки. |
Додаткові ресурси
Інтерактивний елемент
Відео: Конверсні, зворотні та контрапозитивні принципи умовного твердження - Основні
Діяльність: Зворотні, зворотні та контрапозитивні дискусійні питання
Навчальні посібники: Умовні заяви Навчальний
Практика: зворотні, зворотні та контрапозитивні твердження
Реальний світ: зворотний зворотний контрапозитив