Написал комментарий к посту Квадроберы
Нет. Не опровергли. Я вам приводил выше список из 3 возможных высказываний. Расширим его для полноты картины.
a) талант может быть картежником
b) талант обязан быть картежником
c) картежник может быть талантом
d) картежник обязан быть талантом
e) талант не может быть картежником
f) талант не обязан быть картежником
g) картежник не может быть талантом
h) картежник не обязан быть талантом
Законы логики определяют отношения между этими высказываниями. Если одно из этих высказываний верно, то оно самим этим фактом часть оставшихся высказываний автоматически делает верными, а часть делает ложными. Но, внимание, часть высказываний при этом остается в подвешенном состоянии, то есть мы не можем судить о их верности или ложности. Иными словами, между некоторыми высказываниями нет логической связи.
Вы своим примером доказали первое высказывание. То есть a) истинно. Из этого следует что c) также истинно, а e) и g) ложны. То есть мы разобрались с 4-мя из 8-ми высказываний.
Про остальные же высказывания мы не можем судить, они могут быть как истинными, так и ложными.
Может быть вам это не очевидно, но ваш оппонент опирается на высказывание типа h). Как разъяснено выше, ваш пример не опровергает это высказывание и не доказывает. То есть не имеет к этому высказыванию никакого отношения.
Для того чтобы разобраться с тем, как обстоят дела с 4-мя оставшимися высказываниями нужен всего лишь один дополнительный факт.
Например, можно попытаться доказать, что все таланты являются картежниками. Или доказать, что все картежники являются талантами.
Но обычно в таких случаях идут от противного. То есть достаточно найти одного картежника, например Сашу из соседнего подъезда, который никакими талантами не блещет. И тогда все становится ясно.
a) талант может быть картежником - Истина
b) талант обязан быть картежником - Ложь
c) картежник может быть талантом - Истина
d) картежник обязан быть талантом - Ложь
e) талант не может быть картежником - Ложь
f) талант не обязан быть картежником - Истина
g) картежник не может быть талантом - Ложь
h) картежник не обязан быть талантом - Истина
В общем, ваш опонент прав, потому что его позиция зиждется на истинном утверждении типа h).
Вы приводите точно так же истинное утверждение типа a). Но до вас почему-то никак не доходит, что между утверждениями a) и h) нет никакой логической связи.




Написал комментарий к посту Квадроберы
Не видел у него таких утверждений. Вы опровергли что-то свое, а не оппонента.