Från Rilpedia

I matematik och logik är ett direkt bevis ett sätt att visa om ett påstående är sant eller falskt genom att använda existerande lemman och teorem utan att göra några vidare antaganden. Logisk deduktion används för att gå från antagande till slutsats.

Se även

• Indirekt bevis
• Sanningsvärde