Anche la coimplicazione è una relazione puramente formale. Essa si indica con il simbolo p↔q che si legge p coimplica q. La coimplicazione logica di due proposizioni p e q è una proposizione che è falsa se una delle due proposizioni è vera e l’altra è falsa, ed è vera in tutti gli altri casi. La tavola di verità è la seguente:
| p | q | p↔q |
| v | v | v |
| v | f | f |
| f | v | f |
| f | f | v |
Anche in questo caso si deve notare che non c’è nessun rapporto di causa-effetto fra p e q, ma la coimplicazione logica indica solo un collegamento fra le due proposizioni dato dalle tavole di verità.
Manuale di cultura generale – Matematica – Logica – Coimplicazione logica – Continua