Дискуссионный математический форумМатематический форум

Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

Часовой пояс: UTC + 4 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Найти все посылки, из которых следует данная формула
СообщениеДобавлено: 01 дек 2013, 01:03 
Не в сети
Начинающий
Зарегистрирован:
24 янв 2012, 05:49
Сообщений: 13
Cпасибо сказано: 4
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Задание вроде простое, алгоритм понятен, однако вывод получился странный, не уверен что все правильно сделал.
Дана формула: [math]\overline{X} \land Y[/math], вот для нее и нужно найти посылки
1) Нахожу СКНФ. Получаю: [math](X \lor Y)(\overline{X} \lor Y)(\overline{X} \lor \overline{Y})[/math]
СКНФ проверил по таблице истинности - все верно
2) Находим отсутствующие совершенные дизъюнктивные одночлены, здесь сразу видно что он один: [math](X \lor \overline{Y})[/math]
3) Составляем формулы для нахождения посылок, а так как СДО у нас один, получится одна формула:
[math]\overline{X} \land Y \land (X \lor \overline{Y})[/math]
Однако данная формула тождественно ложная, а значит посылкой не является
Вывод: посылок нет

Вопрос: Справедливо ли все вышенаписанное?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Найти все посылки, из которых следует данная формула
СообщениеДобавлено: 01 дек 2013, 01:20 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
13 окт 2010, 14:09
Сообщений: 18470
Откуда: Пермь + Одесса
Cпасибо сказано: 11132
Спасибо получено:
5044 раз в 4557 сообщениях
Очков репутации: 684

Добавить очки репутацииУменьшить очки репутации
Значит не тождественно ложных посылок нет.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю mad_math "Спасибо" сказали:
Bullgamer
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Параметры a, b , при которых данная система ур-ий пл-тей

в форуме Аналитическая геометрия и Векторная алгебра

cheemical

1

134

26 дек 2015, 11:46

Почему у интеграла данная формула?

в форуме Интегральное исчисление

sfanter

3

79

24 янв 2016, 10:13

Доказать, что данная формула является теоремой

в форуме Дискретная математика, Теория множеств и Логика

Yana Kostyuk

2

289

03 июн 2013, 18:03

Установить, является ли данная формула тождественно-истинной

в форуме Дискретная математика, Теория множеств и Логика

Maxim30

10

412

28 окт 2015, 17:43

Для каждой посылки и для заключения выполнить следующие дейс

в форуме Дискретная математика, Теория множеств и Логика

Chromegolf

0

135

28 окт 2012, 22:44

Что следует из равенства?

в форуме Аналитическая геометрия и Векторная алгебра

H0las

7

216

23 окт 2015, 17:42

Есть одна моя теория, которую следует проверить

в форуме Алгебра

Dinarnig

18

372

24 ноя 2015, 22:47

Какой плавки предохранитель следует установить в телевизор

в форуме Школьная физика

Adel

6

973

17 фев 2012, 19:10

Из какой аксиомы следует свойство вектора - направленность

в форуме Аналитическая геометрия и Векторная алгебра

Aftanor

3

192

22 июл 2015, 13:33

Найти все комплексные z, при которых |tg z|=1

в форуме Комплексный анализ и Операционное исчисление

Kirill1986

13

238

04 окт 2017, 09:15


Часовой пояс: UTC + 4 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 21


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2016 MathHelpPlanet.com. All rights reserved