2014 dxdy logo

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

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




На страницу Пред.  1, 2
 
 Re: логика высказываний не нужна
Сообщение17.07.2010, 05:19 
Аватара пользователя
Цитата:
есть формальная аксиматическая теория под названием исчисление (логика) высказываний, и есть её модель -- алгебра высказываний, которую Вы почему-то упорно называете логикой первого порядка (логика первого порядка -- это формализованное исчисление предикатов, в котором под кванторами могут стоять только предметные переменные, но не предикаты).


Огромное спасибо, все проясняется. Выходит, что и тот, кто решает приведенную мной задачу отсылами на правила вывода, и тот, который вспомнил про алгебраические преобразования - все оба они находятся в рамках высказываний, с той разницей, что один подошел со стороны языка а другой со стороны конкретной модели.

Пока глушу мотор.


Код:
Если Вас не очень затруднит, обращайтесь ко мне, пожалуйста, "на Вы".


Затруднит. Обращение "на Вы" обычно непосредственно предшествует мордобою. А повода я пока не вижу.

В этих наших c вами интернетах принято обращение на ты.

 
 
 
 Re: логика высказываний не нужна
Сообщение17.07.2010, 10:42 
 i 
mclaudt в сообщении #339600 писал(а):
В этих наших c вами интернетах принято обращение на ты.

Выписка из правил форума (выделение моё):
Цитата:
1) Нарушением считается:
...
е) Провокационные и вызывающие сообщения, фамильярность (у нас принято обращаться друг к другу на "Вы"), хамство, оскорбления в адрес участников дискуссии и иных лиц (в том числе не являющихся участниками форума), разжигание флейма, обсуждение в тематических разделах ников*, аватаров*, подписей* собеседников.

Разумеется, если Вы с собеседником договоритесь, то можете друг другу "тыкать".

 
 
 
 Re: логика высказываний не нужна
Сообщение17.07.2010, 12:27 
mclaudt в сообщении #339600 писал(а):
Код:
Если Вас не очень затруднит, обращайтесь ко мне, пожалуйста, "на Вы".

Затруднит.
В таком случае меня затруднит дальнейшее участие в Вашей теме.

 
 
 [ Сообщений: 18 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group