Высказывания. Логические операции

Определение: импликацией высказываний А и В называется сложное высказывание «если А, то В», которое ложно тогда и только тогда, когда А – истинно, а В – ложно (обозначают ).

Как правило, А называют «посылкой», а В – «следствием».

Таблица истинности для импликации примет вид:

Пример:

Пусть имеем А: «Вася помылся», В: «Вася чистый».

Если А истинно, В истинно, то и очевидно истинно. А вот если А истинно, а В – ложно, то очевидно будет ложным.

Определение: эквивалентностью двух элементарных высказываний А и В называют сложное высказывание «А тогда и только тогда, когда В», которое истинно только тогда, когда оба высказывания А, В принимают одинаковые значения истинности (обозначают ).

Пример:

Имеется два высказывания: А – «сумма внутренних углов треугольника равна 180о», В – «<4». Эквивалентность означает: «сумма внутренних углов треугольника равна 180о тогда и только тогда, когда <4 ».

Таблица истинности для эквивалентности будет выглядеть так:

4. Задание на дом: с. 70 – 74.

Это интересно:

Анализ понятия «мышления», его сущностные характеристики и виды
Мышление является объектом изучения многих наук, анализирующих его в различных аспектах и с различных точек зрения. Философия изучает мышление в его отношениях к бытию. Логика изучает правила и формы мышления в его движении к истинному знанию. Физиология – как естественный процесс, как функцию мозг ...

Роль и место внеклассной работы в процессе обучения математике
Требования, предъявляемые программой по математике, школьными учебниками и сложившейся методикой обучения, рассчитаны, на так называемого «среднего» ученика. Однако уже с первых классов начинается резкое расслоение коллектива учащихся: на тех, кто легко и с интересом усваивают программный материал ...

Интеллектуальное тестирование
В понятие «искусственный интеллект» вкладывается различный смысл — от признания интеллекта у ЭВМ, решающих логические или даже любые вычислительные задачи, до отнесения к интеллектуальным лишь тех систем, которые решают весь комплекс задач, осуществляемых человеком, или еще более широкую их совокуп ...