Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.80/46: Рейтинг темы: голосов - 46, средняя оценка - 4.80
0 / 0 / 0
Регистрация: 19.02.2011
Сообщений: 10
1

является ли рассуждение правильным

19.02.2011, 15:11. Показов 8973. Ответов 18
Метки нет (Все метки)

Парни, подскажите пожалуйста:
Выяснить, является ли рассуждение правильным:
Если Антон ляжет сегодня поздно, то утром он будет в нерабочем состоянии. Если он ляжет не поздно, то ему будет казаться, что он много времени теряет бесполезно. Следовательно, или Антон завтра будет в нерабочем состоянии, или ему будет казаться, что он много времени теряет напрасно.

Я в этом ни бум бум... но судя по моим соображениям решение следующее
Решение:
Обозначим следующие формулы:
A – Антон ляжет поздно, В – Антон будет в нерабочем состоянии, С – много времени теряет бесполезно.
Исходя из этого следует: А→В, А→С. Соответственно АВ, значит В→С. Рассуждение правильно.
знак подчеркивания я использовал как отрицание (сверху не могу нарисовать подчеркивание)...
Подскажите в правильном ли я направлении, спасибо. Если кто поможет с этим заданием, есть еще 9, за них поставлю пиво (WMZ) Заранее спасибо
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
19.02.2011, 15:11
Ответы с готовыми решениями:

Установить, является ли рассуждение верным
Установить является ли рассуждение верным(проверить , следует ли заключение из конъюкций посылок)...

Является ли правильным следующее определение?
Является ли правильным следующее определение? Если определение неправильное, то какая ошибка...

Правильно ли рассуждение
Правильно ли рассуждение :"Если число 5 простое, то оно нечетно.Число 5 нечетное.Следовательно ,...

Правильное ли рассуждение о смельчаке
Помогите разобраться в задаче. Является ли рассуждение правильным. Каждый смельчак способен на это....

18
43 / 13 / 1
Регистрация: 10.03.2010
Сообщений: 54
19.02.2011, 20:28 2
Цитата Сообщение от Gena-2kurs Посмотреть сообщение
Соответственно А→В, значит В→С
это мне непонятно... откуда взялось интересно...

я бы не стал лезть в формулы в этой задаче, а решал бы рассуждениями.

у Антона бывает 3 состояния:
1)ложится рано
2)ложится вовремя
3)ложиться поздно
больше их нет.
1)+3)= не поздно.
Но так как для обоих условий(поздно и не поздно) у нас есть своё следствие, то

Цитата Сообщение от Gena-2kurs Посмотреть сообщение
или Антон завтра будет в нерабочем состоянии, или ему будет казаться, что он много времени теряет напрасно
=> Рассуждение верно
0
8 / 8 / 0
Регистрация: 12.12.2010
Сообщений: 54
20.02.2011, 18:09 3
А-Ложиться поздно
В-в нераб.состоянии
С-тер.время
(A→B)(⌐A→C)→(BvC)
Дальше нужно составить таблицу истинности

Все доказывать надо!
1
8 / 8 / 0
Регистрация: 12.12.2010
Сообщений: 54
20.02.2011, 18:26 4
Это дополнение к выше написаному
2
Миниатюры
является ли рассуждение правильным  
0 / 0 / 0
Регистрация: 19.02.2011
Сообщений: 10
24.02.2011, 10:55  [ТС] 5
cherednict, как с тобой можно связаться, для решения остальных задач, естественно не за бесплатно
0
8 / 8 / 0
Регистрация: 12.12.2010
Сообщений: 54
24.02.2011, 11:06 6
Я думаю тебе и так тут бесплатно помогут
0
0 / 0 / 0
Регистрация: 19.02.2011
Сообщений: 10
24.02.2011, 11:18  [ТС] 7
Цитата Сообщение от cherednict Посмотреть сообщение
Я думаю тебе и так тут бесплатно помогут
Если помогут бесплатно, не вопрос, но мне завтра надо показать решения задач.

Прикрепил 10 задач, которые надо решить. Кто поможет, большое спасибо. Ну или пиво )
0
Вложения
Тип файла: doc Матлогика зачет.doc (40.0 Кб, 85 просмотров)
8 / 8 / 0
Регистрация: 12.12.2010
Сообщений: 54
24.02.2011, 11:25 8
лучше эти задачки в новую тему выложи
0
0 / 0 / 0
Регистрация: 19.02.2011
Сообщений: 10
24.02.2011, 11:39  [ТС] 9
cherednict, у тебя не получится подумать над ними )??? У тебя не плохо получается

Добавлено через 12 минут
cherednict, и если можешь, объясни почему у тебя в таблице истинности используются "и" и "л"? что они означают и как их выводить
0
8 / 8 / 0
Регистрация: 12.12.2010
Сообщений: 54
24.02.2011, 11:49 10
Знаю легкие темы. наврятли что-то еще смогу решить. И и Л это ИСТИНА и ЛОЖ. это из темы "понятия и операции над высказываниями"

Добавлено через 3 минуты
1 коньюнгция (логическое "И") ^
А В А^B
и и и
и л л
л и л
л л л

ну и так далее. еще есть дизъюнкция... погугли просто. найдешь
0
0 / 0 / 0
Регистрация: 19.02.2011
Сообщений: 10
24.02.2011, 11:50  [ТС] 11
Цитата Сообщение от cherednict Посмотреть сообщение
Знаю легкие темы. наврятли что-то еще смогу решить. И и Л это ИСТИНА и ЛОЖ. это из темы "понятия и операции над высказываниями"
и=1
л=0,
А разве и→л=л? то есть А→В (если А=и, В=л) =л?

погуглил, понял, спасибо
0
8 / 8 / 0
Регистрация: 12.12.2010
Сообщений: 54
24.02.2011, 11:59 12
это импликация. там совсем другая табличка будет.
А В А ->B
и и и
и л л
л и и
л л л
0
0 / 0 / 0
Регистрация: 19.02.2011
Сообщений: 10
24.02.2011, 12:18  [ТС] 13
cherednict, еще тогда попутный вопрос, почему
если
А-Ложиться поздно
В-в нераб.состоянии
С-тер.время
(A→B)
т.е. рассмотрим А=л, В=и
тогда А→В=и (т.е. по русски: если НЕ ляжет поздно, то будет в нераб. состоянии)=истина, разве это верно?
0
8 / 8 / 0
Регистрация: 12.12.2010
Сообщений: 54
24.02.2011, 12:30 14
эх.... не знаю как объяснить. всегда сначало нужно составить выражение (формулу) а потом по ней составить таблицу истинности, а потом уже что я присылала это теория которая необхадима для составления таких таблиц истинности
0
0 / 0 / 0
Регистрация: 19.02.2011
Сообщений: 10
24.02.2011, 12:36  [ТС] 15
Цитата Сообщение от cherednict Посмотреть сообщение
эх.... не знаю как объяснить. всегда сначало нужно составить выражение (формулу) а потом по ней составить таблицу истинности, а потом уже что я присылала это теория которая необхадима для составления таких таблиц истинности
прошу прощения, Вы девушка?
0
8 / 8 / 0
Регистрация: 12.12.2010
Сообщений: 54
24.02.2011, 12:41 16
Какое отношение это имеет к теме? Девушки что хуже соображают?
0
0 / 0 / 0
Регистрация: 19.02.2011
Сообщений: 10
24.02.2011, 12:45  [ТС] 17
Цитата Сообщение от cherednict Посмотреть сообщение
Какое отношение это имеет к теме? Девушки что хуже соображают?
К теме никакого, просто с девушкой приятней общаться, спасибо что помогла
0
115 / 11 / 1
Регистрация: 02.03.2011
Сообщений: 186
04.03.2011, 22:11 18
(
6. Для следующих формул алгебры предикатов найди*те равносильную им приведенную форму, т. е. такую форму, в которой из операций алгебры высказываний имеются толь*ко операции ¬, & и , а знаки отрицания относятся только к предикатным переменным и к высказываниям:
вот я попробовала решить - но точно незнаю, правильно ли - потому что нас могут учить немного другой семантике записи решений

так что было бы хорошо если бы кто-то написал верно ли это или нет

P.S
только я там в последних двух строчках упустила - забыла написать символ негации(¬) перед Q - прошу обратить на это внимание и не переписать ошибки
0
Миниатюры
является ли рассуждение правильным  
0 / 0 / 0
Регистрация: 05.04.2011
Сообщений: 4
05.04.2011, 15:14 19
cherednict, привет! увидел что ты разбираешься в логике может поможешь решить формулу? и определить истинность или ложность. (p-->q\/r)/\(˥g/\˥r)-->˥p. спасибо заранее!
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
05.04.2011, 15:14

Помощь в написании контрольных, курсовых и дипломных работ здесь.

К какой схеме относится рассуждение
3)К какой схеме относится рассуждение: "Если при выполнение программы отклонение контролируемых...

Проверить, что рассуждение логически не правильное
Этот человек студент или предприниматель. Он студент, следовательно он не предприниматель.

Переведите следующее рассуждение в логическую цепочку и проанализируйте результат на правильность
Уважаемые умнейшие человечки. Помогите еще раз(( эта задача вроде и была здесь. Но решение я не...

Определить является ли лабиринт правильным
карта представляет собой лабиринт 1=стена, 0=проход карта представляет собой лабиринт надо...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
19
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2021, vBulletin Solutions, Inc.