Sejam p e q duas proposições. Sabe-se que p é verdadeira e sabe-se também que “p 
q” é verdadeira. Então, decorre necessariamente destas duas veracidades que
q” é verdadeira. Então, decorre necessariamente destas duas veracidades que