Prendiamo due proposizioni p e q.
Ad esempio:
p) Matteo è italiano
q) Matteo è europeo.
Ora costruiamo l’implicazione “p implica q”
ovvero
se Matteo è italiano allora Matteo è europeo.
La proposizione p (che spesso viene chiamata ipotesi) è detta anche antecedente, mentre la proposizione q (che spesso viene chiamata tesi) è detta anche conseguente.
Pertanto, tornando al nostro esempio:
antecedente - Matteo è italiano
conseguente - Matteo è europeo.