Direkt bevis

Från Wikipedia
Version från den 19 september 2015 kl. 21.50 av Fylgia Fock (Diskussion | Bidrag) (Tillägg.)

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

Källor

  • Philosophy of Natural Science, Carl Gustav Hempel, Studentlitteratur, Lund 1977.
v • r
Logiska begrepp
Sats
Mening
Sanning
Deduktion
Bevis
Hypotes
Formella språk
Modellteori
Härledningsbegrepp
Latinska begrepp
Övrigt
Se även: Entropi · Information · Kunskap
 
 
Denna logik- och matematik-relaterade artikel saknar väsentlig information. Du kan hjälpa till genom att lägga till den.
Hämtad från ”https://sv.wikipedia.org/w/index.php?title=Direkt_bevis&oldid=30569614”