Demonstrația este procesul logic (raționamentul/lanțul de raționamente) prin care o propoziție dată este derivată numai din propoziții adevărate.
Premisele sunt întotdeauna adevărate iar raționamentul folosit este valid.
Propoziția pe care o demonstrăm.
Ansamblul de premise prin care demonstrăm teza (argumente).
Rațion