Допустим, что девушка — человек. Так как она девушка, то она молодой человек, а молодой человек есть парень. Но парень — не девушка! Мы пришли к противоречию, значит исходное предположение неверно, то есть девушка — не человек!
Допустим, что девушка — человек. Так как она девушка, то она молодой человек, а молодой человек есть парень. Но парень — не девушка! Мы пришли к противоречию, значит исходное предположение неверно, то есть девушка — не человек!