Consideriamo la proposizione:

"Se vieni a casa, allora ti potrò far leggere la ricerca"

Questa rappresenta una proposizione composta da due proposizioni unite fra loro dai connettivi logici "se... allora"; nel suo insieme si può verificare solo se si verifica la prima delle due proposizioni ("andare a casa") che rappresenta la condizione affinché la seconda ("leggere la ricerca") si possa verificare.

I connettivi "se...allora", "...quindi", "... perciò" si dicono implicazioni logiche; la proposizione composta che utilizza questi connettivi si chiama implicazione ed il suo simbolo matematico è \( \Rightarrow \) e si legge "implica".

Per esempio consideriamo le proposizioni:

p: "Mario è torinese"                  q: "Mario è italiano"

la proposizione \( p \Rightarrow q \) sarà: "Mario è torinese quindi è italiano"

è evidente da questo esempio che:

• \( p \Rightarrow q \) è vera solo se, essendo vera p, risulta vera anche q
  
• Non è detto che la relazione di implicazione sia invertibile, ovvero da \( p \Rightarrow q \) NON segue necessariamente \( q \Rightarrow p \)
  Riprendendo l'esempio, infatti, è sicuramente vero che "Se Mario è torinese allora è italiano" ( \( p \Rightarrow q \) ) mentre non è detto che sia vero "Se Mario è italiano allora è torinese" (\( q \Rightarrow p \))

Quando invece  è vera \( p \Rightarrow q \)  ed è vera anche \( q \Rightarrow p \) si parla di doppia implicazione logica;  si scrive \( p \Leftrightarrow q \) dove il simbolo \( \Leftrightarrow \) si legge "se e solo se" 

Ad esempio consideriamo le proposizioni:

p: "12 è un numero pari"                  q: "12 è divisibile per 2"

\( p \Rightarrow q \) : "12 è un  numero pari quindi è divisibile per 2" è vera

ma anche

\( q \Rightarrow p \) : "12 è un  numero divisibile per 2 quindi è pari" è vera

si tratta quindi di una coimplicazione che possiamo riscrivere come:

\( p \Leftrightarrow q \) : "12 è un numero pari se e solo se è divisibile per due"