La logique

Il se présente deux cas, puis des sous cas. En effet, si la proposition est fausse, une autre proposition laquelle est vraie, et par ailleurs contredit la première, suffit. Autrement, un contre exemple, cas particulier incompatible avec la proposition démontre sa fausseté.

Bonjour,
Je voudrais savoir comment on peut démontrer la vérité d'une proposition mathématique quelque soit cette expression.