questa e' la negazione dell'implicazione materiale o contro-implicazione diretta no (se p allora q) ;    p⇒q_____); equivale a p∧q_ cioe' la proposizione composta e' vera solamente se e' vera la prima e falsa la seconda p q p ⇒ q     p ⇒ q_____ f f v v f v f v v v f v f f v f Mostriamo, con le tavole di verita' l'equivalenza delle due proposizioni diciamo equivalenza invece di usare l'orrendo termine equiveridicita' p⇒q_____ e p∧q_ p q p ⇒ q     p ⇒ q_____ q_ p ∧ q_ f f v v f v f v v v f v f f v f v f v f f f v f se vuoi la pagina sull'implicazione materiale