Таблиця № 2.9. Доведення рівносильності різних видів імплікацій.
Аналізуючи побудовану таблицю, бачимо, що значення 5-го і 8-го стовпців приймають однакові значення істинності при всіх наборах значень істинності висловлень, що до них входять. Саме тому можна твердити, що справедливі такі рівності: а→b=b→а та b→а = а→b. Таким чином, маємо дві пари рівносильних між собою імплікацій а→b=b→а та b→а = а→b. Це дає змогу визначати істинність не всіх чотирьох імплікацій, а лише двох (по одній із кожної пари), бо істинність двох інших випливатиме із рівносильності пар імплікацій.
6.2. Для того, щоб визначити операцію імплікації предикатів, розглянемо на множині абітурієнтів предикати: А(х): „х – склав всі екзамени” і В(х): „х – набрав прохідний бал”. Як можна назвати предикат „якщо х – склав всі екзамени, то він набрав прохідний бал” – імплікацією заданих предикатів. Отже, приймемо таке означення.
Означення: імплікацією двох предикатів А(х) і В(х), заданих на одній і тій самій множині Х, називається такий новий предикат А(х)®В(х), який визначений на тій самій множині Х і який хибний при всіх тих хÎХ, при яких предикат А(х) – істинний, а предикат В(х) – хибний.
Оскільки при оперуванні із складенимипредикатами доводиться знаходити їх множини істинності, то знайдемо множину істинності предиката А(х)→В(х). Позначимо область визначення предикатів через Х, множину істинності предиката А(х) через ТА, а множину істинності предиката В(х) – через ТВ. Щоб знайти множину істинності предиката А(х)→В(х), тобто ТА→В, можна використати міркування або діаграми Ейлера-Венна. Зазначимо, що міркуваннями множину істинності ТА®В можна знайти, використавши рівність А(х) ®В(х)=Ā(х)ÚВ(х). Отже, маємо: ТА®В =`ТАÈТВ=Т`АÈТВ.
Відомо, що предикат А(х)®В(х) буде хибним для тих значень хєХ, для яких предикат А(х) істинний, а предикат В(х) – хибний, тобто на множині ТАÇТВ =`ТАÈ`ТВ = Т`А È ТВ. Отже, множиною істинності предиката А(х)®В(х) – є об'єднання множини істинності предиката В(х) і доповнення до множини істинності предиката А(х) (див. діаграму № 2.6.).
Діаграма № 2.6. Зображення множини істинності імплікації ТА ® В=`ТАÈТВ.
Чи розглядають імплікації в шкільному курсі математики? – так, але найчастіше розглядаються імплікації, які істинні при всіх хÎХ. Прикладами таких предикатів можуть бути такі: „Якщо число закінчується цифрою 5, то воно ділиться на 5”; „Якщо протилежні сторони чотирикутника попарно паралельні, то такий чотирикутник є паралелограмом”.
7. Операція еквіваленції над висловленнями та предикатами. Її таблиця істинності. Основні властивості (закони) операції еквіваленції.
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление
`а→b
`b →а
