Головна

II. Складання таблиць істинності.

  1. VII. Складання службових документів і ведення ділового листування
  2. Алгоритм складання симплексной таблиці. Перетворення симплексной таблиці.
  3. Аргументи функції електронної таблиці Microsoft Excel повинні відділятися один від одного
  4. Квиток №15. Агропромисловий комплекс Південно-порівняльної економіко характеристики двох районів видобутку нафти, газу або вугілля (за вибором вчителя).
  5. В Excel для переходу в будь-яку іншу клітинку електронної таблиці необхідно натиснути комбінацію клавіш
  6. Залежно від структури підмета розрізняють статистичні таблиці

Вправа 1. З простих висловлювань: "Віктор хороший плавець" - А; "Віктор добре пірнає" - В; "Віктор добре співає" - З, складено складне висловлювання, формула якого має вигляд: X = (AUC) U (AUB). Встановити, еквівалентно чи висловлювання Х висловом: "Віктор - хороший плавець і Віктор добре співає". Y = AUC

А В С  AUC  AUB X  Y = AUC

Висновок. Висловлювання X не еквівалентне висловленню Y.

Вправа 2. Встановити чи є це висловлювання тавтологією.

A B  AUB

Висновок. Висловлення є тавтологією.

Вправа 3.Встановити істинність висловлювань: а) ((X1®X2) ®X3) U (X3 «X1)

       F1  F2  F3  
 X1  X2  X3  X1®X2  F1®X3  X3 «X1  F2UF3
1 0 1 0 1 1 1
1 1 1 1 1 1 1

Висновок. Висловлювання ((X1®X2) ®X3) U (X3 «X1) істинно, коли:

1) X1?1; X2?0; X3?0; 2) X1?1; X2?1; X3?1

б) ((X®Y) U (Y®Z)) ® (X®Z)

       F1  F2  F3  F4  
X Y Z  X®Y  Y®Z  F1UF2  X®Z  F3®F4

Висновок. Висловлювання ((X®Y) U (Y®Z)) ® (X®Z) істинно завжди.

Вправа 4.Для формули придумайте формализуемость пропозицію.

Рішення. Нехай А - «Петро чудово грає в шахи»; В - «Семен грає на баяні»; З - «Галина дивиться телевізор»

Тоді і тільки тоді якщо Петро чудово грає в шахи, то Семен не грає на баяні, коли Галина дивиться телевізор і Петро чудово грає в шахи.



А) Бесіда. | III. Вивчення нового матеріалу.

Етапи розвитку логіки. | Основні операції алгебри висловлювань. | Диз'юнкція двох логічних змінних помилкова тоді і тільки тоді, коли обидва висловлювання помилкові. | Кон'юнкція двох логічних змінних істинна тоді і тільки тоді, коли обидва висловлювання істинними. | Властивості імплікації. | I. Усна робота. | Встановлення істинності складних висловлювань. | Еквівалентність висловлювань. | Тавтологія. | Закони логіки. |

© um.co.ua - учбові матеріали та реферати