С наступающим Новым годом! Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Mecherok
0 / 0 / 0
Регистрация: 22.04.2018
Сообщений: 6
1

Проверьте тремя способами правильность логического рассуждения

23.04.2018, 14:32. Просмотров 302. Ответов 3

«Люди общаются тогда и только тогда, когда есть общие темы. У однокурсников есть общие темы, но они могут не общаться. Если люди общаются, то они однокурсники и у них есть общие темы. В данном случае люди являются однокурсниками, следовательно, они общаются».

Проверять правильность умею, но не получается формализовать высказывания.
0
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
23.04.2018, 14:32
Ответы с готовыми решениями:

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

Проверить правильность логического рассуждения сокращенным способом
Либо аудитория была закрыта, либо, если преподаватель опоздал, то все студенты...

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

Проверить правильность логического заключения
С помощью понятия логического следования проверить правильность логического...

Проверить правильность логического вывода
Методом прямого преобразования, методом семантических таблиц и методом...

3
angor6
493 / 268 / 45
Регистрация: 27.01.2014
Сообщений: 847
23.04.2018, 15:35 2
Mecherok, начните формализовать. Поправим, если будет нужно.
0
Mecherok
0 / 0 / 0
Регистрация: 22.04.2018
Сообщений: 6
23.04.2018, 16:18  [ТС] 3
A - люди
Q - общие темы
B - однокурсники
E - общаются

P1 = (A & E) ↔ E
P2 = (B & Q) v ¬E
P3 = (A & E) → (B & Q)
D = (A & B) → E

Как-то так получилось. Могу ошибаться
0
3D Homer
Эксперт по математике/физике
1822 / 1225 / 410
Регистрация: 01.09.2014
Сообщений: 3,003
23.04.2018, 17:23 4
Переменная для высказывания "Люди" не требуется, так как все, о ком идет речь в данном рассуждении, являются людьми. Идея такая: есть группа людей. Они могут общаться или нет, у них могут общие темы или нет, и они могут быть или не быть однокурсниками. Вот для этих высказываний нужны переменные.

Цитата Сообщение от Mecherok Посмотреть сообщение
Люди общаются тогда и только тогда, когда есть общие темы.
P1 = (A & E) ↔ E
E ↔ Q.

Цитата Сообщение от Mecherok Посмотреть сообщение
У однокурсников есть общие темы, но они могут не общаться.
P2 = (B & Q) v ¬E
"У однокурсников есть общие темы" означает: "Если группа людей — однокурсники, то у них есть общие темы". Мне кажется, "могут не общаться" переводить в формулу не нужно. Эта фраза означает, что E истинно или ложно, но это и так подразумевается в пропозициональной логике. Может быть, автор задачи планировал рассматривать какую-нибудь другую логику, например, интуиционистскую, где закон E v ¬E не обязательно верен, или модальную, где есть есть модальная связка ⋄ и ⋄¬E означает "возможно не E", но это нужно уточнить в условии задачи.

Цитата Сообщение от Mecherok Посмотреть сообщение
Если люди общаются, то они однокурсники и у них есть общие темы.
P3 = (A & E) → (B & Q)
Да, только я бы убрал A.

Цитата Сообщение от Mecherok Посмотреть сообщение
В данном случае люди являются однокурсниками, следовательно, они общаются.
D = (A & B) → E
B — это последняя, четвертая, посылка данного рассуждения, а E — формула, выводимость (или логическое следствие) которой из этих четырех посылок нужно проверить. Фраза "A, следовательно B" не записывается A → B. Это вообще не является составным высказыванием, значение которого зависит от значений A и B аналогично конъюнкции, дизъюнкции и т.п.. Это утверждение мета-уровня (на котором мы рассуждаем о формулах на русском языке) о формулах A и B.
1
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
23.04.2018, 17:23

Доказать выражение тремя способами
(AU(B/C))/B=A 1. Графически 2. Методом двух включений 3. Методом...

Проверьте правильность решения
Необходимо было построить СДНФ, равносильную формуле: \bar{(xy\rightarrow...

Проверьте правильность умозаключений диаграммами Эйлера
Все машины дорогие Велосипед недорогой Велосипед – не машина


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

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

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