1. typ <span class="linked_term" onclick="showTermNamed('úsudek')">*úsudku</span> a&nbsp;<span class="linked_term" onclick="showTermNamed('metoda')">*metoda</span> zkoumání, kdy se z&nbsp;jedinečných <span class="linked_term" onclick="showTermNamed('výrok')">*výroků</span> usuzuje na obecný závěr; opak: <span class="linked_term" onclick="showTermNamed('dedukce')">*dedukce</span>;$2. matematická indukce je následující <span class="linked_term" onclick="showTermNamed('teorém')">*teorém</span>: když platí nějaké tvrzení pro číslo 1 a&nbsp;když z&nbsp;platnosti tohoto tvrzení pro libovolné číslo //n// plyne platnost tvrzení i&nbsp;pro číslo //n//+1, platí toto tvrzení pro všechna přirozená čísla. (<span class="linked_term" onclick="showTermNamed('Malina, Jaroslav A.')">Jaroslav Malina</span>)