2014 dxdy logo

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

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




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


14/01/10
252
Цитата:
есть формальная аксиматическая теория под названием исчисление (логика) высказываний, и есть её модель -- алгебра высказываний, которую Вы почему-то упорно называете логикой первого порядка (логика первого порядка -- это формализованное исчисление предикатов, в котором под кванторами могут стоять только предметные переменные, но не предикаты).


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

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


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


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

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

 Профиль  
                  
 
 Re: логика высказываний не нужна
Сообщение17.07.2010, 10:42 
Модератор


16/01/07
1567
Северодвинск
 i 
mclaudt в сообщении #339600 писал(а):
В этих наших c вами интернетах принято обращение на ты.

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

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

 Профиль  
                  
 
 Re: логика высказываний не нужна
Сообщение17.07.2010, 12:27 
Заслуженный участник


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

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

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

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



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

Сейчас этот форум просматривают: Google Adsense [Bot], transcendent


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

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