Операція імплікації предикатів.

6.2. Для того, щоб визначити операцію імплікації предикатів, розглянемо на множині абітурієнтів предикати: А(х): „х – склав всі екзамени” і В(х): „х – набрав прохідний бал”. Як можна назвати предикат „якщо х – склав всі екзамени, то він набрав прохідний бал” – імплікацією заданих предикатів. Отже, приймемо таке означення.

Означення: імплікацією двох предикатів А(х) і В(х), заданих на одній і тій самій множині Х, називається такий новий предикат А(х)®В(х), який визначений на тій самій множині Х і який хибний при всіх тих хÎХ, при яких предикат А(х) – істинний, а предикат В(х) – хибний.

Оскільки при оперуванні із складенимипредикатами доводиться знаходити їх множини істинності, то знайдемо множину істинності предиката А(х)→В(х). Позначимо область визначення предикатів через Х, множину істинності предиката А(х) через Т_А, а множину істинності предиката В(х) – через Т_В. Щоб знайти множину істинності предиката А(х)→В(х), тобто Т_А→_В, можна використати міркування або діаграми Ейлера-Венна. Зазначимо, що міркуваннями множину істинності Т_А®В можна знайти, використавши рівність А(х) ®В(х)=Ā(х)ÚВ(х). Отже, маємо: Т_А®В =`Т<sub>А</sub>ÈТ<sub>В</sub>=Т<sub>`А</sub>ÈТ_В.

Відомо, що предикат А(х)®В(х) буде хибним для тих значень хєХ, для яких предикат А(х) істинний, а предикат В(х) – хибний, тобто на множині Т_АÇТ_В =`Т<sub>А</sub>È`Т_В = Т_`А È Т_В. Отже, множиною істинності предиката А(х)®В(х) – є об'єднання множини істинності предиката В(х) і доповнення до множини істинності предиката А(х) (див. діаграму № 2.6.).

Діаграма № 2.6. Зображення множини істинності імплікації Т_А®_В=`Т_АÈТ_В.

Чи розглядають імплікації в шкільному курсі математики? – так, але найчастіше розглядаються імплікації, які істинні при всіх хÎХ. Прикладами таких предикатів можуть бути такі: „Якщо число закінчується цифрою 5, то воно ділиться на 5”; „Якщо протилежні сторони чотирикутника попарно паралельні, то такий чотирикутник є паралелограмом”.

7. Операція еквіваленції над висловленнями та предикатами. Її таблиця істинності. Основні властивості (закони) операції еквіваленції.