2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Учебный вопрос
Сообщение01.07.2024, 12:56 
Аватара пользователя


22/03/06
993
А.А. Зиновьев в Зияющие высоты писал(а):
Общая схема вывода такова : из посылок
«А при условии В» и «С при условии D» выводится «X при условии Y»,
если Y выводится из В и выводится из D по отдельности.


Но ведь это же неправильно. Достаточно того, что $Y$ выводится из $B$ и $D$ вместе.

 Профиль  
                  
 
 Re: Учебный вопрос
Сообщение01.07.2024, 13:10 
Заслуженный участник
Аватара пользователя


26/01/14
4834
Mopnex
А что известно про $X$?

 Профиль  
                  
 
 Re: Учебный вопрос
Сообщение01.07.2024, 13:49 
Заслуженный участник
Аватара пользователя


18/09/14
4984
Mopnex, по-моему, в той формулировке, что Вы привели, это вообще неверно. В исчислении высказываний доказуемы те формулы, которые в алгебре логики тождественно истинны. Но формула $(B \to Y)(D \to Y)(D \to C)(B \to A) \to (Y \to X)$ тождественно истинной не является. Чтобы в этом убедиться, можно положить $B=D=X=0, Y=1$ (логические значения $A$ и $C$ при этом безразличны).

 Профиль  
                  
 
 Re: Учебный вопрос
Сообщение01.07.2024, 13:55 


21/12/16
721

(Оффтоп)

Mopnex в сообщении #1644598 писал(а):
А.А. Зиновьев в Зияющие высоты

зачем вы роетесь в этой мертвечине

 Профиль  
                  
 
 Re: Учебный вопрос
Сообщение01.07.2024, 14:38 
Заслуженный участник
Аватара пользователя


11/03/08
9874
Москва
Ну, я не готов критиковать Зиновьева, как логика. Просто обращу внимание, что данный труд не научная статья, и не учебник, где, и там, и там, нужны точные формулировки. Это полемическое сочинение, обращённое не к специалистам по логике (математической или философской - всё равно не к ним), а к "широкой публике". Более того, эта формулировка принадлежит персонажу, именуемому "Шизофреник" и заявляющему
Цитата:
Людей в общекультурном плане интересует не наука как таковая, а беллетристические предисловия, разъяснения и отступления, относящиеся к ней.
.

 Профиль  
                  
 
 Re: Учебный вопрос
Сообщение03.07.2024, 17:13 
Аватара пользователя


22/03/06
993
Mihr
Ясно, спасибо.

Евгений Машеров в сообщении #1644610 писал(а):
эта формулировка принадлежит персонажу, именуемому "Шизофреник"


У меня сложилось впечатление, что он излагает подход автора.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 6 ] 

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



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

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


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

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