Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 4 ] |
|
Автор | Сообщение | |
---|---|---|
ArLenas |
|
|
"Если усложнить схему устройства, то возрастет его производительность, а если использовать новую элементную базу, то увеличится период эксплуатации. Устройство начнут хорошо раскупать только при одновременном росте его производительности и периода эксплуатации. Но устройство не пользуется спросом." У меня получились вот такие посылки: 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 раз. |
||
Вернуться к началу | ||
Ellipsoid |
|
|
А там не [math](B \wedge D) \to E[/math] вместо [math]E \to (B \wedge D)[/math]?
P.S. Уже хочу спать, поэтому соображаю плохо. |
||
Вернуться к началу | ||
ArLenas |
|
|
Ellipsoid писал(а): А там не [math](B \wedge D) \to E[/math] вместо [math]E \to (B \wedge D)[/math]? P.S. Уже хочу спать, поэтому соображаю плохо. Да, наверно вы правы. Исправил, но все равно не получается тавтологии... |
||
Вернуться к началу | ||
ArLenas |
|
|
Может вывод не правильный?
Может такая секвенция: [math]A\to B[/math], [math]C\to D[/math], [math]E\to B \land D[/math] [math]\models A\to E[/math] |
||
Вернуться к началу | ||
[ Сообщений: 4 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Логика высказываний и Логика предикатов | 2 |
270 |
17 мар 2022, 20:06 |
|
Мат. логика. Логика высказываний | 14 |
1157 |
06 ноя 2014, 16:47 |
|
Логика высказываний. Построить вывод | 1 |
507 |
16 ноя 2014, 17:58 |
|
Логика высказываний. Доказание клауз | 1 |
339 |
04 дек 2017, 22:02 |
|
Исчисление высказываний | 1 |
143 |
13 янв 2022, 16:56 |
|
Исчисление высказываний | 5 |
549 |
30 май 2015, 20:13 |
|
Исчисления высказываний | 7 |
419 |
26 ноя 2016, 12:38 |
|
Исчисление высказываний | 3 |
144 |
18 дек 2021, 08:00 |
|
Исчисление высказываний | 8 |
593 |
14 окт 2016, 17:34 |
|
Исчисление высказываний | 1 |
333 |
30 ноя 2017, 12:19 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 19 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |