Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
LibreTexts - Ukrayinska

2.12: Зворотні, зворотні та контрапозитивні твердження

Умовні заяви, отримані з оператора if - то.

Зворотний, зворотний і контрапозитивний

Розглянемо твердження: Якщо погода хороша, то вимию машину. Ми можемо переписати це твердження, використовуючи літери для представлення гіпотези та висновку.

p=theweatherisniceq=Illwashthecar

Тепер твердження таке: ifp, тоq, який також може бути записаний якpq.

Ми також можемо зробити заперечення, або «nots»,p іq. Символічна версія «not p» -\ (\ sim p.

p=theweatherisnotniceq=Iwontwashthecar

Використовуючи ці «ноти» і перемикаючи порядокp іq, ми можемо створити три нових заяви.

ConverseqpIfIwashthecarq,thentheweatherisnicep.

Inversep→∼qIftheweatherisnotnicep,thenIwontwashthecarq.

Contrapositiveq→∼pIfIdontwashthecarq,thentheweatherisnotnicep.

Якщо твердження «якщо-то» вірно, то і контрапозитив вірний. Контрапозитив логічно еквівалентний оригінальному твердженню. Зворотне і зворотне може бути істинним, а може і не бути. Коли початкове твердження і зворотне є істинними, то твердження є біумовним твердженням. Іншими словами, якщоpq істинно іqp є істинним, тоpq (сказав «pякщо і тільки якщоq»).

Що робити, якщо вам дали умовне твердження на кшталт «Якщо я піду до школи, то я запізнися»? Як ви могли б змінити і/або заперечити цю заяву, щоб сформувати нові умовні оператори?

Приклад2.12.1

Якщоn>2, тоn2>4.

Знайдіть зворотне, зворотне та контрапозитивне. Визначте, чи є кожен результуючий оператор істинним чи хибним Якщо вона неправдива, знайдіть контрприклад.

Рішення

Оригінальне твердження вірно.

Converse_: Якщоn2>4, тоn>2.

Помилкові. Якщоn2=9,n=3or3. (3)2=9

Inverse_: Якщоn2, тоn24.

Помилкові. Якщоn=3, тоn2=9.

Contrapositive_: Якщоn24, тоn2.

Правда. Єдинеn24 - 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

Нижче наведено правдиве твердження:

mABC>90якщо і тількиABC якщо тупий кут.

Визначте два істинних твердження в рамках цього біумовного.

Рішення

Твердження 1: ЯкщоmABC>90, тоABC є тупим кутом.

Твердження 2: ЯкщоABC тупий кут, тоmABC>90.

Рецензія

Для питань 1-4 використовуйте твердження:

ЯкщоAB=5 іBC=5, тоB це середина¯AC.

  1. Це правдиве твердження? Якщо ні, то що таке контрприклад?
  2. Знайдіть зворотне це твердження. Це правда?
  3. Знайдіть зворотне цьому твердженню. Це правда?
  4. Знайдіть контрапозитив цього твердження. Яке твердження воно таке ж, як?

Знайдіть зворотне кожне істинне твердження if - то. Якщо зворотне вірно, напишіть біумовний оператор.

  1. Гострий кут менше90.
  2. Якщо ви перебуваєте на пляжі, значить, ви вигоріли сонцем.
  3. Якщоx>4, тоx+3>7.

Для питань 8-10 визначте два істинних умовних твердження з заданих біумовних тверджень.

  1. Громадянин США може голосувати лише тоді, коли йому або їй виповнилося 18 і більше років.
  2. Ціле число є простим тоді і тільки тоді, коли його множники дорівнюють 1 і саме по собі.
  3. 2x=18якщо і тільки якщоx=9.

Огляд (Відповіді)

Щоб переглянути відповіді на рецензію, відкрийте цей PDF-файл і знайдіть розділ 2.4.

Ресурси

Лексика

Термін Визначення
двоумовне твердження Оператор є двозастережним, якщо початковий умовний оператор і зворотний оператор є істинними.
Умовний оператор Умовний оператор (або 'if-то' оператор) - це твердження з гіпотезою, за якою слідує висновок.
контрапозитивний Якщо умовний оператор єpq (якщоp то q), то контрапозитивним єq→∼p (якщо не q, то не p).
зворотний Якщо умовний оператор єpq (pif, тоq), то зворотним єqp (ifq, тоp. Зауважте, що зворотне твердження не відповідає дійсності лише тому, що оригінальне твердження є істинним.
зворотний Якщо умовний оператор єpq, то зворотним єp→∼q.
Логічно еквівалентний Твердження логічно еквівалентне, якщо твердження «якби тоді» та контрапозитивне твердження є істинними.
передумова Передумова - це початкове твердження, яке ви використовуєте, щоб зробити логічні висновки.

Додаткові ресурси

Інтерактивний елемент

Відео: Конверсні, зворотні та контрапозитивні принципи умовного твердження - Основні

Діяльність: Зворотні, зворотні та контрапозитивні дискусійні питання

Навчальні посібники: Умовні заяви Навчальний

Практика: зворотні, зворотні та контрапозитивні твердження

Реальний світ: зворотний зворотний контрапозитив