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