У вас может быть либо социализм, либо свободная экономика.

А Ꚛ В.

Но вы не достигли социализма.

А.

Значит, у вас свободная экономика.

В.

Схема рассуждения [(А Ꚛ В) ˄ А] → B.

∑= [(А Ꚛ В) ˄А].

∑→ B.

А Ꚛ В.

А.

------

В.

Схема рассуждения истинна.

А Ꚛ В. (=1)

А.     (=1)

------

В.     (=1)