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

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



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

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


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

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