Рівносильні формули. Нормальні форми

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

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

Заработок на криптовалютах по сигналам

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

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

Сторінка 2

1. Знайти перший зліва на право квантор існування. Якщо він знаходиться у префіксі на першому місці, то замість змінної, яка зв’язана цим квантором, скрізь у матриці поставити деяку сколемівську сталу, яка у формулі ще не зустрічалась, а квантор існування видалити.

2. Якщо квантор існування не на першому місці префікса, наприклад то замість змінної хі скрізь у матриці поставити деяку сколемівську функцію f(х1х2,… хп), яка у формулі ще не зустрічалась, а квантор існування видалити.

3. Перейти до пункту 1, аж поки не видалиться останній квантор існування. У результаті таких перетворень отримується нова формула:, яка називається сколемівською стандартною формулою (ССФ).

Наприклад, розглянемо крок за кроком сколемізацію формули

;

1. Замість х вводимо сталу а:;

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

;

3. Комбінація кванторів рівносильна існуванню функції f=g (y, z, w). Вилучаємо останній квантор існування і маємо ССФ для А:.

У ССФ сколемівські функції і сталі вибираються довільно, тому у загальному випадку формули А та не рівносильні. Але при дослідженні типу формули корисне твердження:

Теорема. Формула А є суперечністю тоді і тільки тоді, коли її сколемівська стандартна форма є суперечністю.

Страницы: 1 2 

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

Властивості та ознаки рівності прямокутних трикутників
Трикутник називається прямокутним, якщо в нього є прямий кут. Тому що сума кутів трикутника дорівнює , то в прямокутного трикутника тільки один прямий кут.д.ва інших кути прямокутного трику ...

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

Закономірності розвитку дитини з мовленнєвими порушеннями
Уся нескінченна різноманітність зовнішніх проявів мозкової діяльності зводиться тільки до одного явища – м’язової діяльності. Сміється дитина при вигляді іграшки, чи Ньютон створює світові ...

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

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

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

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