Tre amici, Antonio, Bruno e Corrado, sono incerti se andare al cinema. Si sa che:
– se Corrado va al cinema, allora ci va anche Antonio;
– condizione necessaria perché Antonio vada al cinema è che ci vada Bruno.
Il giorno successivo possiamo affermare con certezza che:

A)  se Corrado è andato al cinema, allora ci è andato anche Bruno

B)  nessuno dei tre amici è andato al cinema

C)  se Bruno è andato al cinema, allora ci è andato anche Corrado

D)  se Corrado non è andato al cinema, allora non ci è andato nemmeno Bruno

Si sa che   C —> A,  A —> B
dove con "… —> …" abbiamo indicato "se … va allora anche … va".
Possiamo concludere che  C —> B  ossia che se Corrado è andato al cinema allora ci è andato pure Bruno.

Se volessi approfondire il ruolo di "se … allora …" puoi vedere:  Definizioni e dimostrazioni neGli Oggetti Matematici.