dato un insieme delle premesse( nel caso dell'esercizio in basso le premesso sono [p V r ; q v ¬r]) se queste due sono vere allora anche la conclusione, ovvero p v q è vera. Ma come si vede dall'esercizio quest'ultima proposizione in alcuni casi è vera anche quando una delle due premesse è falsa

Se p=>q significa che ogni volta che p è vera allota anche q è vera, ma non è detto il viceversa, q può anche essere vera pur essendo p falsa.