2014 dxdy logo

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

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


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


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Формула или нет?
Сообщение30.03.2016, 08:43 
Заслуженный участник
Аватара пользователя


21/12/05
5931
Новосибирск
Sinoid в сообщении #1109863 писал(а):
А зачем вообще создавать путаницу в голове

Да какая путаница - просто считайте, что внешние скобки у любой формулы есть, только они не видимы до тех пор, пока эта формула не войдёт в другую в качестве подформулы.

-- Ср мар 30, 2016 12:46:58 --

А в задачах использование скобок-невидимок запрещено.

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение30.03.2016, 13:01 


03/06/12
2862
bot в сообщении #1110445 писал(а):
Sinoid в сообщении #1109863 писал(а):
А зачем вообще создавать путаницу в голове

Да какая путаница - просто считайте, что внешние скобки у любой формулы есть,

Вообще-то я там писал не про внешние скобки, а про несколько подряд идущих дизъюнкций (надо было написать конъюнкций, но почему-то я перепутал и написал дизъюнкций, хотя это, конечно, распространяется и на дизъюнкции: если бы там стояли две подряд идущие дизъюнкции, моя мысль не изменилось бы), эта мысль пришла после первого затухания темы, да все написать забывал.

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение30.03.2016, 15:23 
Заслуженный участник
Аватара пользователя


21/12/05
5931
Новосибирск
Хм, думал, что напутал, ан нет - речь по-прежнему о скобках и никаких кон/дизъюнкций.

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение30.03.2016, 19:01 
Заслуженный участник


27/04/09
28128
Короче говоря, давно уже пора было закончить с этим упражнением и перейти к упражнениям более связанным с собственно матлогикой. :wink:

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение30.03.2016, 19:23 


03/06/12
2862
arseniiv в сообщении #1110545 писал(а):
Короче говоря, давно уже пора было закончить с этим упражнением и перейти к упражнениям более связанным с собственно матлогикой. :wink:

Так я, собственно говоря, это и делаю. Вчера закончил с доказательством выполнимости/опровержимости формул без составления таблиц истинности, сегодня перешел к тавтологиям, так что все нормально, процесс идет, а это продолжение темы, чтобы уточнить уже пройденный материал. Я так думаю, уже пора сказать всем спасибо за обсуждение темы. Нет, ну если у кого какие мысли еще возникнут, так, пожалуйста, напишите про них.

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение30.03.2016, 20:59 
Заслуженный участник


27/04/09
28128
Sinoid в сообщении #1110550 писал(а):
Так я, собственно говоря, это и делаю.
А, ну хорошо, удачи. :-)

Вряд ли мысли ещё какие-то могут быть, тут уже всё перебрали.

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение31.03.2016, 00:25 


10/11/15
142
Sinoid в сообщении #1110550 писал(а):
сегодня перешел к тавтологиям


А правило удаления конъюнкции без таблиц истинности (и равносильных преобразований) сможете доказать? :-)

$\models (P \wedge Q) \to Q$

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение31.03.2016, 00:51 
Заслуженный участник


27/04/09
28128
kernel1983 в сообщении #1110669 писал(а):
без таблиц истинности (и равносильных преобразований)
Заинтриговали. Тождественную истинность без обращения к истинности… ну если только через теорему $(\vdash A)\Leftrightarrow(\vDash A)$ для исчисления высказываний, а она если только на горизонте должна быть у Sinoid.

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение31.03.2016, 00:58 


10/11/15
142
arseniiv в сообщении #1110692 писал(а):
Тождественную истинность без обращения к истинности…


Без составления таблиц. Определения связок использовать, разумеется, можно. Нет, всё в одну-две строчки, конечно, но всё же.

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение31.03.2016, 01:02 
Заслуженный участник


27/04/09
28128
kernel1983 в сообщении #1110696 писал(а):
Без составления таблиц. Определения связок использовать, разумеется, можно.
Формально это практически одно и то же. :D

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение31.03.2016, 01:25 


10/11/15
142
arseniiv в сообщении #1110702 писал(а):
Формально это практически одно и то же.


Я в курсе, что логическую связку можно определить, дав её таблицу истинности. Речь о том, чтобы доказать тавтологию путём рассуждений, не составляя истинностную таблицу для данной формулы.

 Профиль  
                  
 
 Re: Формула или нет?
Сообщение31.03.2016, 01:35 
Заслуженный участник


27/04/09
28128
Угу. Не, хорошее задание, на самом деле.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 27 ]  На страницу Пред.  1, 2

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



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

Сейчас этот форум просматривают: DariaRychenkova


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

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