Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.64/11: Рейтинг темы: голосов - 11, средняя оценка - 4.64
frayser
0 / 0 / 0
Регистрация: 30.01.2014
Сообщений: 51
1

Проверить корректность рассуждений

11.04.2015, 10:51. Просмотров 1908. Ответов 7
Метки нет (Все метки)

Здравствуйте, подскажите пожалуйста, правильно ли я формализовал высказывание.

Если человек удовлетворён работой и счастлив в семейной жизни, то он не жалуется на судьбу. Этот человек жалуется на судьбу.
Следовательно, либо он удовлетворён работой, но не счастлив в семейной жизни, либо счастлив в семейной жизни, но не удовлетворён работой.

A - Человек удовлетворен работой
B - Счастлив в семейной жизни
C - Жалуется на судьбу


http://www.cyberforum.ru/cgi-bin/latex.cgi?\left(\left(A\wedge B\rightarrow \bar{C} \right)C \right)\rightarrow \left(\left(A\wedge \bar{B} \right)\vee \left(B\wedge \bar{A} \right) \right)
0
Лучшие ответы (1)
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
11.04.2015, 10:51
Ответы с готовыми решениями:

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

Проверить правильность рассуждений построением таблицы
Здравствуйте,никак не могу решить((( Проверить правильность каждого из следующих рассуждений...

Доказать равенство путем логических рассуждений и с помощью дограмм
доказать следующее равенства двумя способами: путем логических рассуждений и с помощью дограмм ...

Проверить код на корректность
Оставте своё мнение на счёт следующего

Проверить корректность определения
На арифметическом пространстве R4 {x1,x2,x3,x4} задано скалярное произведение: (x,y) = 2x1 y1 +...

7
3D Homer
Эксперт по математике/физике
2015 / 1367 / 464
Регистрация: 01.09.2014
Сообщений: 3,469
12.04.2015, 00:07 2
То, что у вас написано словами — это не высказывание, а вывод (доказательство, рассуждение). Есть разница между "A, следовательно B" и "Если A, то B". Вывод состоит из нескольких высказываний, каждое из которых получено из предыдущих по некоторому правилу вывода. Данный вывод, кстати, неправильный.
0
frayser
0 / 0 / 0
Регистрация: 30.01.2014
Сообщений: 51
12.04.2015, 07:39  [ТС] 3
3D Homer, ну да, задание у меня проверить корректность рассуждения.
А что именно не правильно?
http://www.cyberforum.ru/cgi-bin/latex.cgi?\left(A\wedge B\rightarrow \bar{C} \right) - человек удовлетворён работой и счастлив в семейной жизни, то он не жалуется на судьбу
C - Этот человек жалуется на судьбу.
Делал опираясь на эту тему: Проверить правильность рассуждения
0
NEbO
594 / 461 / 73
Регистрация: 22.01.2009
Сообщений: 1,180
Записей в блоге: 1
Завершенные тесты: 3
12.04.2015, 10:43 4
Лучший ответ Сообщение было отмечено frayser как решение

Решение

На 100% не уверен, давно такие задачи решали, но, по-моему, формализация верная.
Однако она не является истиной. Очевидно, что есть еще вариант, когда человек не счастлив и не удовлетворен, и при таком раскладе он тоже, скорее всего будет жаловаться на жизнь. Однако в следствии этот вариант не прописан, а значит формально неясно, будет он или нет.
Доказательство:
http://www.cyberforum.ru/cgi-bin/latex.cgi?(AB\rightarrow \overline{C})C\rightarrow (\overline{A}B\vee A\overline{B}) \Rightarrow<br />
(\overline{AB} \vee \overline{C})C \rightarrow (\overline{A}B\vee A\overline{B}) \Rightarrow<br />
\overline{AB}C \rightarrow (\overline{A}B\vee A\overline{B}) \Rightarrow <br />
AB \vee \overline{C} \vee \overline{A}B \vee A\overline{B} \Rightarrow <br />
A \vee \overline{A}B \vee \overline{C} \Rightarrow<br />
A \vee B \vee \overline{C}
при этом если добавить http://www.cyberforum.ru/cgi-bin/latex.cgi?\overline{A}\overline{B} в следствие, то результат будет 1.

Другой способ доказательства: тупо сделать таблицу истинности утверждения и следствия.
Код
---+---+---+--------+---------+---------
 A | B | C | !(AB)C | A xor B | P1 -> P2
---+---+---+--------+---------+---------
 0 | 0 | 0 |   0    |    0    |    1 
 0 | 0 | 1 |   1    |    0    |    0 
 0 | 1 | 0 |   0    |    1    |    1 
 0 | 1 | 1 |   1    |    1    |    1 
 1 | 0 | 0 |   0    |    1    |    1 
 1 | 0 | 1 |   1    |    1    |    1 
 1 | 1 | 0 |   0    |    0    |    1 
 1 | 1 | 1 |   0    |    0    |    1 
---+---+---+--------+---------+---------

Не по теме:

http://www.cyberforum.ru/cgi-bin/latex.cgi?\overline{A}B \vee A\overline{B} = A \oplus B


Видно, что последний столбик состоит не из одних единичек.

Программа
PHP
1
2
3
4
5
6
7
8
9
10
11
12
13
echo '---+---+---+--------+---------+---------', "\n";
echo ' A | B | C | !(AB)C | A xor B | P1 -> P2', "\n";
echo '---+---+---+--------+---------+---------', "\n";
for ($a = 0; $a <= 1; $a++) {
    for ($b = 0; $b <= 1; $b++) {
        for ($c = 0; $c <= 1; $c++) {
            $p1 = !($a & $b) & $c;
            $p2 = $a ^ $b;
            printf(" %d | %d | %d |   %d    |    %d    | %4d \n", $a, $b, $c, $p1, $p2, !$p1 | $p2);
        }
    }
}
echo '---+---+---+--------+---------+---------', "\n";


Не по теме:

Несмотря на то, что я примерно часа полтора писал этот ответ, и старался все проверить, 100% правильность не гарантирую. мне просто одно время нравились эти задачи. Если я где-то неправ, надеюсь, что меня исправят

1
12.04.2015, 10:43
frayser
0 / 0 / 0
Регистрация: 30.01.2014
Сообщений: 51
12.04.2015, 11:53  [ТС] 5
NEbO, Ого, большое спасибо за ответ, я на такое и не рассчитывал.
Но все же интересно почему 3D Homer, посчитал вывод не правильным
0
3D Homer
Эксперт по математике/физике
2015 / 1367 / 464
Регистрация: 01.09.2014
Сообщений: 3,469
12.04.2015, 21:23 6
Я согласен с NEbO: из данных посылок следует, что человек неудовлетворён работой или несчастлив в семейной жизни. Из посылок не обязательно следует, что человек либо неудовлетворён работой, либо несчастлив в семейной жизни
1
RKnS
0 / 0 / 0
Регистрация: 13.04.2015
Сообщений: 1
14.04.2015, 15:27 7
Здравствуйте, подскажите пожалуйста, правильно ли я формализовал высказывание. Столкнулся с той же проблемой, но не уверен правильно ли сделал((
Проверить корректность рассуждений: «Если вы будете говорить правду, люди проклянут вас, а если будете лгать, то вас проклянут боги. Но вы можете только говорить правду или лгать. Значит, вас проклянут боги или люди».
A – говорить правду
B – люди проклянут
D – боги проклянут
0
Изображения
 
3D Homer
Эксперт по математике/физике
2015 / 1367 / 464
Регистрация: 01.09.2014
Сообщений: 3,469
14.04.2015, 15:44 8
Цитата Сообщение от RKnS Посмотреть сообщение
Здравствуйте, подскажите пожалуйста, правильно ли я формализовал высказывание.
1. Прочитайте в сообщении №2 в этой теме про различие между высказыванием и рассуждением (выводом).

2. Используйте мнемонические имена для обозначения высказываний. Например, http://www.cyberforum.ru/cgi-bin/latex.cgi?P может обозначать "вы говорите правду", http://www.cyberforum.ru/cgi-bin/latex.cgi?B — "вас проклянут боги", http://www.cyberforum.ru/cgi-bin/latex.cgi?L — "вас проклянут люди".

3. Опишите точно, что вы пытаетесь сделать. Что значит проверить правильность рассуждений? Включается ли в это то, что вы должны записать данные посылки и заключение формулами? Если да, то пронумеруйте посылки и заключение и напишите соответствующие формулы. Если нет, то напишите, что вы делаете вместо этого. Далее, как вы проверяете правильность рассуждения: с помощью понятия логического следствия, т.е. что импликация конъюнкции посылок и заключения является тавтологией? Как вы собираетесь проверять тавтологию: с помощью таблиц истинности? С помощью преобразований? Или вы используете какое-то исчисление для доказательства заключения?

4. Вы неправильно написали отрицание http://www.cyberforum.ru/cgi-bin/latex.cgi?AB\vee\overline{A}D.
0
14.04.2015, 15:44
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
14.04.2015, 15:44

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

Проверить программу на корректность
Можете проверить правильно ли работает программа?

Проверить код на корректность
Привет,можете пожалуйста проверить файл на ошибки,если таковых нет(что маловероятно),то помогите...


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

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

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