A negação da proposição composta “se Pedro tem dois metros de altura, então Maria é boa nadadora” pode ser escrita da seguinte forma lógica: