A negação da proposição lógica "Jorge não é paulista e Jorge não é carioca" é equivalente logicamente a "Jorge é paulista ou Jorge é carioca". Isso ocorre porque o teorema de Morgan afirma que a negação de uma conjunção é a disjunção das negações. Ou seja, a negação de "Jorge não é paulista e Jorge não é carioca" é "Jorge é paulista ou Jorge é carioca".
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar