Qui abbiamo l'operatore logico chiamato implicazione diretta p∨q_ p q q_      p∨q_ f f v v f v f v v f v f v f v v Si tratta di una proposizione composta da due proposizioni che e' falsa solamente se la prima e' falsa e la seconda e' vera la sua negazione e' la contro-implicazione inversa e la trovi nella quattordicesima colonna