Důkaz přímý se používá pro dokazování výroků, které mají tvar implikace. Tedy například: Když je venku hezky, tak svítí sluníčko. V matematice to ale samozřejmě vypadá trochu jinak :-)
Hlavní kategorie: Důkazy SŠ