Takže když to shrnu, tak Argument per eliminationem je důkaz vyloučení..? A to je že všechny nemovitosti jsou věci spojené se zemí a ty důkazem opaku lze vyvodit že ty co nejsou spojené se zemí jsou movitosti..?

Důkaz od menšího k většímu je jak je napsáno, že když někde nemůžeš zastavit tak ani stát.

Důkaz od většího k menšímu je jak je napsáno, že když může polda použít zbraň, tak může použít i něco mírnějšího..

A důkaz opaku, nešel by nějakej takovej říklad kterej je běžnější..? :) Díky