2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 Выяснить, являются ли тавтологией
Сообщение07.12.2008, 18:51 


07/12/08
9
Выяснить, являются ли тавтологией формула которая получается из формулы Изображение
если подставить: 1) Р=И 2) Р=Л
подскажите с чего начать, мое мнение с таблицы истинности...

 Профиль  
                  
 
 
Сообщение07.12.2008, 18:56 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Способный в сообщении #165387 писал(а):
подскажите с чего начать, мое мнение с таблицы истености...
Я бы начал с выяснения правильного написания слова "истинность". Нехорошо отвечать по предмету, ни разу не прочитав в учебнике правильного написания основных терминов, этот предмет составляющих! :twisted:

 Профиль  
                  
 
 
Сообщение07.12.2008, 18:58 


07/12/08
9
Brukvalub писал(а):
Способный в сообщении #165387 писал(а):
подскажите с чего начать, мое мнение с таблицы истености...
Я бы начал с выяснения правильного написания слова "истинность". Нехорошо отвечать по предмету, ни разу не прочитав в учебнике правильного написания основных терминов, этот предмет составляющих! :twisted:

Ошибочка, поправил наспех писал. А все же по задачке есть мнения?

 Профиль  
                  
 
 
Сообщение07.12.2008, 18:59 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
А , по существу, Ваша идея с таблицей - верная.

 Профиль  
                  
 
 
Сообщение07.12.2008, 19:03 


07/12/08
9
Brukvalub писал(а):
А , по существу, Ваша идея с таблицей - верная.

если идти через таблицу истинности, то меня ставит в тупик pr, какое действие идет между ними

 Профиль  
                  
 
 
Сообщение07.12.2008, 19:08 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Конъюнкция (логическое умножение).

 Профиль  
                  
 
 
Сообщение07.12.2008, 19:29 


07/12/08
9
вот что у меня вышло, за подчерк прошу не судить:
Изображение

 Профиль  
                  
 
 
Сообщение07.12.2008, 19:35 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Так Вы, батенька, даже таблицы истинности дизъюнкции не знаете :shock: Пока основ не выучите, дальнейшие разговоры вести с Вами не имеет смысла.

 Профиль  
                  
 
 
Сообщение07.12.2008, 19:44 
Заслуженный участник


11/05/08
32166
чего-то я не понял. Если тупо подставить, то получатся два простеньких выражения: $(q\Rightarrow r)$ и $(\text{И}\Rightarrow \text{Л})$. Кто из них тавтологичен?

 Профиль  
                  
 
 
Сообщение07.12.2008, 19:44 


07/12/08
9
Brukvalub писал(а):
Так Вы, батенька, даже таблицы истинности дизъюнкции не знаете :shock: Пока основ не выучите, дальнейшие разговоры вести с Вами не имеет смысла.

я не учел отрицания "p" в этом ошибка? Все строил по этому источнику

 Профиль  
                  
 
 
Сообщение07.12.2008, 19:56 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Из-за Вашей небрежной рукописной записи я не разглядел черточку отрицания над "p" - она сливается со скобкой, вот и стал ругаться...
С учетом этой черточки, таблица истинности для дизъюнкции - верная.
Чтобы больше не напрягать глаза, вчитываясь в почерк и не попадать в дурацкие ситуации - выхожу из обсуждения.

 Профиль  
                  
 
 
Сообщение07.12.2008, 20:50 


07/12/08
9
ewert писал(а):
чего-то я не понял. Если тупо подставить, то получатся два простеньких выражения: $(q\Rightarrow r)$ и $(\text{И}\Rightarrow \text{Л})$. Кто из них тавтологичен?

а если брать что Р=И?

 Профиль  
                  
 
 
Сообщение07.12.2008, 20:53 
Заслуженный участник


11/05/08
32166
вот ровно первое и выйдет

 Профиль  
                  
 
 
Сообщение07.12.2008, 22:35 


07/12/08
9
ewert писал(а):
вот ровно первое и выйдет

а расматривая 2 вариант если Р=Л, то вроде тоже нету тавтологии =(

 Профиль  
                  
 
 
Сообщение07.12.2008, 22:38 
Заслуженный участник


11/05/08
32166
Увы, нет.

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

Модераторы: Модераторы Математики, Супермодераторы



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

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


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

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group