Класифікація формул логіки предикатів. Логічне слідування

Нова педагогіка » Особливості контролю знань логіки предикатів » Класифікація формул логіки предикатів. Логічне слідування

Сторінка 2

Приклад 3. Проінтерпретувати кожну з формул:

тана множиніМ = {Іван, Петро}, якщо Р(х) – 'ім'я х містить 5 букв», у = Іван;

та на множиніМ = N, якщо Р(х) – «х <2»;

та на множині M=N, якщо P(х) = «x<5» та Q(x) =» x> 6».

►а) Підставляючи y= Іван замість вільного у маємо Отже, перша формула перетворюється у хибневисловлення. У другій формулі головна операція імплікація. Предикат Р(х) спростовний, тому і .b) Предикат Р(х) є виконуваним на М, тому. Предикат теж виконуваний, тому . c) Предикат тотожно хибний, тому перша формула перетворюється нахибне висловлення. Кожен з предикатів P(x) та Q(x) є виконуваним, тому .

Визначити істинне значення кожної з формул при всіх значеннях вільної змінної:

; c);

; d)

► а) При кожному значенні вільної змінної у операцію навішування квантора загальності по х на скінченній множині замінимо кон’юнкцією:

;

;

;

b) Аналогічно операцію навішування квантора існування замінимо диз’юнкцією:

;

;

c);

d)│.◄

Приклад 5. Показати, що при інтерпретації формули на довільній одноелементній множині завжди отримується істинне висловлення, а на двоелементній – не завжди.

Нехай є одноелементна множина М = {а}. Оскільки множина значень довільного предиката складається з 0 та 1, то на цій множині можна задати лише два конкретних предикати: або .

Нехай є двоелементна множина М ={а, b}. На ній можна задати вже чотири різні предикати та так, що:. Усі можливі інтерпретації запишемо у таблиці:

Р

y

Р(y)

а

0

0

1

b

0

0

1

а

0

0

1

b

1

0

0

а

1

0

0

b

0

0

1

а

1

1

1

b

1

1

1

Страницы: 1 2 3 4 5 6 7

Рекомендуємо почитати:

Аналіз основних форм і методів позаурочної діяльності
Поняття «форма» означає: «спосіб організації і спосіб існування предмета, процесу, явища» (Філософська енциклопедія). Форма в педагогічній науці визначається як спосіб організації виховного ...

Активні, нестандартні форми роботи на уроках і в позакласній роботі
Активні, нестандартні форми роботи на уроці і в позакласній роботі формують: соціальну компетентність – уміння людини жити в суспільстві, уміння робити вибір, знаходити вихід з будь-яких жи ...

Практичні роботи і практикуми
Практичні роботи і практикуми – довготривалий експеримент, що пропонується навчальною програмою після опрацювання й вивчення учнями цілого розділу чи курсу. Вони включають ширше коло питань ...

Викладання іноземної мови

Викладання іноземної мови

У ДНЗ навчання дітей англійської мови доцільно розпочинати з п'ятилітнього віку. Більшість дітей цього віку досягають інтелектуальної, вольової, мотиваційної та емоційної готовності вивчати другу мову у колективі. >>>

Copyright © 2019 - All Rights Reserved - www.edudirect.net