На головну

Класифікація формул

  1. I.3.2. Класифікація аутистических проявів
  2. III. Класифікація правових актів, видаваних ОФСБ
  3. III.1.3. ПРИЧИНИ ПОРУШЕНЬ СЛУХУ. ПСИХОЛОГО-ПЕДАГОГІЧНА КЛАСИФІКАЦІЯ ПОРУШЕНЬ СЛУХОВИЙ ФУНКЦІЇ У ДІТЕЙ
  4. LКлассіфікація ступенів тяжкості токсикозу
  5. Marriott: ФОРМУЛА УСПІХУ
  6. V. Класифікація голосних звуків. Ряд і підйом. Додаткова артикуляція (лабиализация). Довгота і стислість звуків. Монофтонги, дифтонги, трифтонги.
  7. V. КЛАСИФІКАЦІЯ І СУЧАСНИЙ СТАН НАДЗВИЧАЙНИХ СИТУАЦІЙ

Формули алгебри висловлювань поділяються на такі типи: здійснимі, тавтології, опровержімие і тотожно хибні (протиріччя).

Підстановка в формулу замість змінних будь-яких їх значень називається конкретизацією формули.

Формула називається здійсненним, Якщо деяка її конкретизація є істинним висловлюванням. Тобто формула  здійсненна, якщо існують такі конкретні висловлювання А, В, ..., С, що .

Формула називається тотожно істинною або тавтологією, Якщо будь-яка її конкретизація є істинним висловлюванням.

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

Формула називається тотожно хибною або протиріччям, Якщо будь-яка її конкретизація є хибним висловлюванням.

Для того щоб визначити, до якого типу належить формула, досить скласти для неї таблицю істинності. Так, перша формула з 11 прикладу є тавтологією (вона за будь-яких наборах значень змінних приймає істинне значення), а другу формулу можна назвати як здійсненним, так і опровержімий (так як вона при різних конкретизації приймає як істинні, так і помилкові значення).



Формули алгебри висловлювань | значення тавтологію

Розділ 1. Висловлювання і операції над ними. Формули алгебри висловлювань. Класифікація формул | Импликацией двох висловлювань називається нове висловлювання, яке помилково тоді і тільки тоді, коли перше висловлювання істинно, а друге - хибне. | Основні правила отримання тавтологію |

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