Direkt bevis

I matematik och logik är ett direkt bevis, en deduktion av ett påstående, som enbart bygger på teorins axiom, lemman och teorem.

Se även

• Reductio ad absurdum-regeln
• Indirekt bevis
• Härledning
• Satslogik
• Sanningsvärde

Källor

• Philosophy of Natural Science, Carl Gustav Hempel, Studentlitteratur, Lund 1977.