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 ] 

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



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

Сейчас этот форум просматривают: DariaRychenkova


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

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