Estem treballant per restaurar l'aplicació de Unionpedia a la Google Play Store
SortintEntrant
🌟Hem simplificat el nostre disseny per a una millor navegació!
Instagram Facebook X LinkedIn

Demostració

Índex Demostració

Una demostració és un argument rigorós que parteix d'unes premisses que es consideren proposicions acceptades, i tot usant regles correctes d'inferència, arriba a una conclusió.

Taula de continguts

  1. 9 les relacions: Argument, Conclusió, Demostració (matemàtiques), Inferència, Lògica, Lògica matemàtica, Matemàtiques, Premissa, Teoria de la demostració.

  2. Complexitat computacional
  3. Llenguatges formals

Argument

La paraula argument (del llatí argumentum) s'aplica, a voltes, a un discurs amb referència a un contingut que es dirigeix a l'interlocutor amb finalitats diferents.

Veure Demostració і Argument

Conclusió

Una conclusió és una proposició final, a la qual s'arriba després de la consideració de l'evidència, de les discussions o de les premisses.

Veure Demostració і Conclusió

Demostració (matemàtiques)

En matemàtiques, una demostració, també dita prova, és un raonament lògic que estableix la veritat d'una proposició matemàtica.

Veure Demostració і Demostració (matemàtiques)

Inferència

La inferència és l'acte o el procés en què hom deriva una conclusió a partir d'unes premisses.

Veure Demostració і Inferència

Lògica

Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.

Veure Demostració і Lògica

Lògica matemàtica

La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica.

Veure Demostració і Lògica matemàtica

Matemàtiques

Representacions matemàtiques de diversos camps La matemàtica (encara que, per a referir-se, a l'estudi i ciència, s'acostuma a utilitzar el plural matemàtiques) és aquella ciència que estudia patrons en les estructures de cossos abstractes i en les relacions que s'estableixen entre ells (del mot derivat del grec μάθημα, máthēma: ciència, coneixement, aprenentatge; μαθηματικός, mathēmatikós).

Veure Demostració і Matemàtiques

Premissa

Una premissa és cadascuna d'ambdues proposicions d'un sil·logisme que donen lloc a la conclusió d'aquest.

Veure Demostració і Premissa

Teoria de la demostració

La teoria de la demostració és una branca de la lògica matemàtica que tracta amb l'estructura de les demostracions matemàtiques i la potència expressiva d'un determinat conjunt d'axiomes matemàtics.

Veure Demostració і Teoria de la demostració

Vegeu també

Complexitat computacional

Llenguatges formals