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

Заработок на криптовалютах по сигналам. Больше 100% годовых!

Трейдинг криптовалют на полном автомате по криптосигналам. Сигналы из первых рук от мощного торгового робота и команды из реальных профессиональных трейдеров с опытом трейдинга более 7 лет. Удобная система мгновенных уведомлений о новых сигналах в Телеграмм. Сопровождение сделок и индивидуальная помощь каждому. Сигналы просты для понимания как для начинающих, так и для опытных трейдеров. Акция. Посетителям нашего сайта первый месяц абсолютно бесплатно.

Обращайтесть в телеграм LegionCryptoSupport

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

та ;

;

с);

d) ;

e) ;

f) ;

g) .

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

b)

-

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

.

с)

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

- ВНФ.

d)

-

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

z:- ВНФ.

е)

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

-

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

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

Загальні відомості про мовленнєву діяльність
Слово мовлення має три різних значення: а) мовлення як діяльність, мовлення як процес; б) мовлення як продукт мовленнєвої діяльності; в) мовлення як ораторський жанр. Мовлення в першому, пр ...

Ігрова діяльність
Гра наряду із трудом на навчанням – один з основних видів діяльності людини, дивовижний феномен нашого існування. За визначенням, гра – це вид діяльності в умовах ситуацій, спрямованих на в ...

Аналіз педагогічної взаємодії вчителя з учнями
1. Особливості опосередкування взаємодії. Метою даного дослідження є вивчення особливостей педагогічної взаємодії у сучасній школі, порівняння отриманих результатів з оптимальними та виявле ...