логика высказываний не нужна

[mclaudt]

Цитата:

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

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

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

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

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

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

[Jnrty]

mclaudt в сообщении #339600 писал(а):

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

Выписка из правил форума (выделение моё):

Цитата:

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

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

[Maslov]

mclaudt в сообщении #339600 писал(а):

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

Затруднит.

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