Glossario minimo

Assioma: enunciato che, nellambito di una certa teoria, viene assunto come premessa non dimostrata.

Denizione: introduzione di un nuovo concetto descritto con i concetti precedentemente introdotti.

Ipotesi e Tesi: in un enunciato della forma se P1 , . . . Pn allora Qgli enunciati P1 , . . . Pn sono le ipotesi e Q ` la tesi. e

Teorema : enunciato dimostrato o dimostrabile.

Dimostrazione: una successione di enunciati di cui lultimo ` lenunciato da dimostrare e e ciascuno dei precedenti ` unipotesi, unassioma o una deduzione dagli enunciati precedenti. e

Dimostrazione per assurdo: un tipo di dimostrazione in cui per provare lenunciato se P allora Q si dimostra che P e non Q implica una contraddizione cio` la negazione e di un enunciato vero.

Costante : un simbolo usato per indicare un oggetto ssato.

Variabile : un simbolo usato per indicare un oggetto variabile o sconosciuto.