• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

Визначення

Висловлення Вє логічним наслідком висловлення А, якщо формула А ® В є тотожно істинною. Це визначення може бути узагальнено на випадок довільного числа засновків таким чином: висловлення В називається логічним наслідком висловлень А₁, А₂,..., А_п, якщо А₁ Ù А₂ Ù … Ù А_п ® В— тотожно істинна формула.

Приклад.Показати, що висловлення (А Ù В)Ú ØC є логічним наслідком висловлення А ÙØС.

Розв'язок. Достатньо впевнитися, що формула (А Ù Ø С) ® ((А Ù B) Ú Ø.С) є загальнозначущою. Використаємо тотожності логіки висловлень для еквівалентних перетворень, враховуючи, що (див. таблицю 4.3 п. 4.2).

(А Ù ØС) ® ((А Ù В) Ú ØС) = Ø(AÙ ØC) Ú ((А Ù В) Ú ØC) =

=ØA Ú C Ú (A Ù B) ÚØC = ØA Ú (A Ù B) ÚØC Ú C = ØA Ú (А Ù В) Ú І = І.

Таким чином, доведено загальнозначущість формули.

Читайте також:

1. I визначення впливу окремих факторів
2. II. Визначення мети запровадження конкретної ВЕЗ з ураху­ванням її виду.
3. II. Мотивація навчальної діяльності. Визначення теми і мети уроку
4. Ocнoвнi визначення здоров'я
5. Алгебраїчний спосіб визначення точки беззбитковості
6. Аналіз службового призначення деталей та конструктивних елементів обладнання харчових виробництві, визначення технічних вимог і норм точності при їх виготовленні
7. Аналіз стратегічних альтернатив та визначення оптимальної стратегії формування фінансових ресурсів
8. Аналіз ступеня вільності механізму. Наведемо визначення механізму, враховуючи нові поняття.
9. Балансова теорія визначення статі. Диференціація статі і роль гормонів у цьому процесі.
10. Безстатеве розмноження, його визначення та загальна характеристика. Спори — клітини безстатевого розмноження, способи утворення і типи спор.
11. Біостратиграфічні методи визначення віку порід
12. Біуретовий метод визначення білків

Переглядів: 349