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

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

Сторінка 8

Приклад 2. Записати зведену форму формул логіки предикатів та перетворити її на випереджену:

та ;

;

с);

d) ;

e) ;

f) ;

g) .

а) Виразимо імплікацію через диз’юнкцію та скористаємось законами де Моргана для кванторів: та .Отримали зведені форми даних формул. Винести квантор загальності за дужки у першій формулі не можна, оскільки нема дистрибутивного закону для диз’юнкції. Потрібно у одному з доданків перейменувати змінну х якоюсь іншою буквою:. Далі по черзі проносимо квантори загальності через диз’юнкцію: - ВНФ. У другій формулі використовуємо відповідний дистрибутивний закон для квантора існування:– ВНФ

b)

-

зведена форма. Квантор існування по х та zможна пронести через диз’юнкцію, а змінну у в області дії квантора перейменуємо на t:

.

с)

- зведена форма. Квантори поу та zможна винести за дужки, а змінну х в області дії квантора загальності перейменуємо:

- ВНФ.

d)

-

зведена форма. Щоб винести квантор загальності по y за дужки, в області дії цього квантора замінимо у на

z:- ВНФ.

е)

- зведена форма.

-

випереджена нормальна форма. Тут у перших дужках квантор існування пронесли через диз’юнкцію, а у другому множнику зробили заміну зиінних і пронесли усі квантори почергово через кон’юнкцію.

Страницы: 3 4 5 6 7 8 9 10 11 12

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

Визначення початкового рівня самооцінки, емпатії учнів
На першому етапі експериментального дослідження ми використали два тести та власну розроблену анкету. Тест виявлення рівня самооцінки у осіб, які брали участь у експерименті був спрямований ...

Психолого-педагогічна характеристика вихованця
Результатом проведення різних методик щодо вивчення особистості учня стала психолого-діагностична карта-характеристика Марининої Тетяни. Психологічна характеристика учениці 9-В класу ЗОШ №9 ...

Рекомендації, як результат проведеної дослідницької роботи
Велике і різнобічний вплив народних свят на особистість дитини дозволяє використовувати їх як сильне педагогічний засіб. Сама дитина при цьому відчуває задоволення, радість. Тематика та змі ...

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

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

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

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