Проверить аргумент методом резолюций. Получить все следствия из данных посылок. «Если X , то (Y тогда и только тогда, когда Z). Если X, то Z и (если Z, то Y). Следовательно, X».

nmoskvich    2   12.01.2022 01:06    14