Resultats de la cerca

Les proposicions prèvies de demostració breu que precedeixen un teorema de demostració més complicada són dites lemes , mentre que les conseqüències que es deriven del teorema són anomenades corollaris Hom anomena també teorema qualsevol conclusió general que ja ha estat demostrada Una conjectura , en canvi, és una proposició que hom creu certa però en desconeix la demostració Hi ha nombrosos teoremes coneguts, com ara el de Pitàgores, el de Tales, el del valor mitjà, etc Dos teoremes són anomenats recíprocs quan cadascun té per hipòtesi la conclusió de l’altre

Els més coneguts són per a tot x ∀ x quantificador universal existeix x ∃ x quantificador existencial Una frase com “existeix un home que és odiat per tots els homes” podria ésser formalitzada per ∃ x /∀ y x és odiat per y L’ús dels quantificadors és degut a Frege 1879 El símbol ∃d’existència és degut a Peano 1894, i el ∀, a Hilbert

Hom l’anomena logaritme de base b de n , i el representa per log b n = a Les propietats fonamentals dels logaritmes són Els logaritmes constitueixen un instrument matemàtic que facilita i abreuja molts càlculs complicats Els més utilitzats correntment en el càlcul són els logaritmes decimals, vulgars o de Briggs , que són els logaritmes de base 10 i que hom representa amb els símbols log 1 0 , log o lg Per contra, en els càlculs diferencial i integral són utilitzats els logaritmes naturals o neperians , que són els logaritmes de base e , i hom els representa amb els símbols log e , ln…