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

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

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Логика высказываний
СообщениеДобавлено: 09 дек 2015, 23:19 
Не в сети
Начинающий
Зарегистрирован:
09 дек 2015, 23:09
Сообщений: 3
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Здравствуйте, помогите найти посылки и составить секвенцию по тексту:
"Если усложнить схему устройства, то возрастет его производительность, а если использовать новую элементную базу, то увеличится период эксплуатации. Устройство начнут хорошо раскупать только при одновременном росте его производительности и периода эксплуатации. Но устройство не пользуется спросом."

У меня получились вот такие посылки:
A - усложнить схему устройства
B - возрастет производительность
C - использовать новую элементную базу
D - увеличится период эксплуатации
E - начнут хорошо раскупать
А секвенция вот такая: [math]A\to B[/math], [math]C\to D[/math], [math]E\to B \land D[/math] [math]\models \lnot E[/math]

Что не так? Может не нашел скрытой посылки какой-то?


Последний раз редактировалось ArLenas 09 дек 2015, 23:25, всего редактировалось 1 раз.
Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логика высказываний
СообщениеДобавлено: 09 дек 2015, 23:23 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
А там не [math](B \wedge D) \to E[/math] вместо [math]E \to (B \wedge D)[/math]?

P.S. Уже хочу спать, поэтому соображаю плохо.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логика высказываний
СообщениеДобавлено: 09 дек 2015, 23:33 
Не в сети
Начинающий
Зарегистрирован:
09 дек 2015, 23:09
Сообщений: 3
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
А там не [math](B \wedge D) \to E[/math] вместо [math]E \to (B \wedge D)[/math]?

P.S. Уже хочу спать, поэтому соображаю плохо.

Да, наверно вы правы. Исправил, но все равно не получается тавтологии...

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логика высказываний
СообщениеДобавлено: 09 дек 2015, 23:45 
Не в сети
Начинающий
Зарегистрирован:
09 дек 2015, 23:09
Сообщений: 3
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Может вывод не правильный?
Может такая секвенция:
[math]A\to B[/math], [math]C\to D[/math], [math]E\to B \land D[/math] [math]\models A\to E[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 4 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Логика высказываний и Логика предикатов

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

maksim-maksim

2

270

17 мар 2022, 20:06

Мат. логика. Логика высказываний

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

Lucky721

14

1157

06 ноя 2014, 16:47

Логика высказываний. Построить вывод

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

Lucky721

1

507

16 ноя 2014, 17:58

Логика высказываний. Доказание клауз

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

Strix

1

339

04 дек 2017, 22:02

Исчисление высказываний

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

indiana_johns

1

143

13 янв 2022, 16:56

Исчисление высказываний

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

Stasya7

5

549

30 май 2015, 20:13

Исчисления высказываний

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

fg43gq4

7

419

26 ноя 2016, 12:38

Исчисление высказываний

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

chopperis

3

144

18 дек 2021, 08:00

Исчисление высказываний

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

famesyasd

8

593

14 окт 2016, 17:34

Исчисление высказываний

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

Veltare

1

333

30 ноя 2017, 12:19


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



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

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


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

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

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

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