Учебный вопрос

[Mopnex]

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

Общая схема вывода такова : из посылок
«А при условии В» и «С при условии D» выводится «X при условии Y»,
если Y выводится из В и выводится из D по отдельности.

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

[Mikhail_K]

Mopnex
А что известно про $X$?

[Mihr]

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$ при этом безразличны).

[drzewo]

(Оффтоп)

Mopnex в сообщении #1644598 писал(а):

А.А. Зиновьев в Зияющие высоты

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

[Евгений Машеров]

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

Цитата:

Людей в общекультурном плане интересует не наука как таковая, а беллетристические предисловия, разъяснения и отступления, относящиеся к ней.

.

[Mopnex]

Mihr
Ясно, спасибо.

Евгений Машеров в сообщении #1644610 писал(а):

эта формулировка принадлежит персонажу, именуемому "Шизофреник"

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