Dado duas proposições lógicas q e p.
A proposição lógica ~p-> q é falsa se, e somente se, quando a proposição abaixo for verdadeira:
Dado duas proposições lógicas q e p.
A proposição lógica ~p-> q é falsa se, e somente se, quando a proposição abaixo for verdadeira:
