Оставьте свои данные
и мы вам перезвоним:

Или свяжитесь с нами сами, если не хотите ждать:

Форум Окей. Архив.

Треугольник изменений – формальная логика

Angelika:

Давно хотела спросить.
Можно ли сделать вывод из [u]сочетания двух [/u]следующих утверждений?
A->B
A->C
---------
A->B => T B->A (только + переворот = два изменения)
A->C
-----------------
T B->A->C => T B->C => C->B

ЗАКЛЮЧЕНИЕ
A->B
A->C
---------
C->B

В учебнике написано, что нельзя сделать вывод, поскольку общий член (А)
находиться до стрелки. Почему нельзя?

Mozart:

И снова, как говорил Глеб Жеглов, "Закон такой!!!" :D
А на самом деле я обычно привожу такой пример -
Все кошки - животные.
Все кошки мяукают.
(соответствует схеме, которую ты написала)
Ты же не можешь соединить эти предложения и сказать, что "все животные мяукают". Согласна?

Angelika:

Согласна.
:oops:
Очень хороший пример