Operações sobre proposições: implicação