>>117398
> если ты кошка - можно гействовать с кошками. Логически вытекает, что если ты не кошка - то нельзя.
И не противно тебе гуманитарием быть?
Ты утверждаешь, что всегда истинно утверждение (A => B) => (!A => !B). Человеческим гуманитарным языком это читается так: Если из A следует B, то из не-A следует не-B. Точнее, ты говоришь про конкретные A и B: A - это высказывание "ты - кошка", а B - высказывание "ты можешь гействовать с кошками". Но ты определенно ссылаешься на выше приведенную формулу в общем виде (используешь ее, как закон), чтобы обосновать, что оппонент обосрался.
Слава Богу, твоя формула проста и множество ее значений можно перебрать руками. Давай же проверим, правду ли ты сказал.
(A, B) -> <значение формулы>
(0, 0) -> ((0 => 0) => (1 => 1)) == (1 => 1) == 1
(0, 1) -> ((0 => 1) => (1 => 0)) == (1 => 0) == 0
(1, 0) -> ((1 => 0) => (0 => 1)) == (0 => 1) == 1
(1, 1) -> ((1 => 1) => (0 => 0)) == (1 => 1) == 1
Оппаньки. Мы видим, что твоя формула верна не всегда. Общечеловеческим гуманитарным языком, данный факт можно сформулировать так: из утверждения "если ты кот, то можешь гействовать с котом" не обязательно следует утверждение "если ты не кот, то ты не можешь гействовать с котом".
Вот тебе чтение на дом: https://ru.wikipedia.org/wiki/%D0%98%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D0%B2%D1%8B%D1%81%D0%BA%D0%B0%D0%B7%D1%8B%D0%B2%D0%B0%D0%BD%D0%B8%D0%B9