Zdravím,
nevím si rady s objasněním co přesně
modus tollens je. Sám chápu, jak to funguje odvozování atd., jen nemůžu splodit nějakou rozumnou obecnou definici
a bohužel nemůžu nikde najít nějaký zdroj, kde by to bylo přesněji popsáno. Pokud někdo ví, nebojte se dát vědět.
