Logický xxxxxx
Xxxxxxx xxxxxx - xxxxx xx xxxxxxxxxx xxxxxxx xxxxxxx xxxxx, xxxxxxxxxxx x xxx, xx xxxxx xxxxxx xxxxx, ustanovení,je xxxxxxxxx podle xxxxxxxx xxxxxxxx logiky. Xxxxxxxxx xx xxx xx xxxxxxxxx xxxx xxxxxxxxx xxxxxx logiky: xxxxxxxxxx x contrario (důkaz x xxxxx) – xxxxxxxx xxxxxxxx xxxxxx xxxxxxxx, jestliže xxxxx xxxxxxxx xxxxxx, xxxxxxxxxx xxx analogiam nebo xxxx agumentum a xxxxxx (xxxxx xxxxxxxxxx) – xxxxx-xx xxxx xxx xxxxxxx xxxxxxxxxx, xxxxx to xxxxx x pro xxxxxxxxxx xxxxxxxx xxxxxxxx (xxx xxx xxx hovořit x xxxxxxx xxxxxxxx x právu), xxxxxxxxxx x xxxxxxxx (důkaz xxxxx, xxxxxxxx) – xxxxxxxxx xx xx x xxxxxx xx xxxxx (od xxxxxxx x většímu, xxx. xxxxx-xx xxxx pro xxxx xxxxxxxxx xxxxxxxxxx, xxx xx jistě xxxxx i pro xxxxxxxxxx významnější) x xx a xxxxxx xx minus (od xxxxxxx x xxxxxxx, xxx. xxxxxx xxxxx-xx xxxx pro xxxxxxxxxxx xxxxxxxxxx, xxx xx xxxxx xxxxx x xxx xxxxxxxxxx xxxx xxxxxxxxx), xxxxxxxx ad xxxxxxxx – pokud xxxxxxx xxxxxxxx xxxxxxxx xx extrému x xxxxxxx, že výsledek xx xxx xxxxx xxxxxxxx, pak xxxxxx xxxxxxxx xxxxxx obstát x argumentum x xxxxxxxx xxxxx – xxxxxxxx xxxxxx xxxxxxxxxx xxxx xxxxxx xxxxxxxx, xxx xxx xxxxxxxx xxxxx xxxxx xxxxxxxx xxxxxx xxxxxx, xx xx xxxx xxxxxxx xxxxxxxx, xx xxxxxxxx, x xxxxxx xxx xxxxxx xxxxxx, xx xxxxxx x xxxx xxxx xxxxxxxx.
&xxxx;
Xxx také