Ao desenvolver o conhecimento de representação por meio simbólico de um argumento, aprendemos alguns conectivos, os quais realizam as ligações entr...

Ao desenvolver o conhecimento de representação por meio simbólico de um argumento, aprendemos alguns conectivos, os quais realizam as ligações entre as proposições envolvidas. A negação é uma operação unária que, quando aplicada, produz o valor falso de uma proposição. É necessário ter cuidado ao realizar a negação de argumentos que utilizam como ligação a conjunção e a disjunção (inclusiva ou exclusiva). Sobre a equivalência lógica proposicional à negação da frase 'Marta é paulista ou Carlos é mineiro', assinale a alternativa CORRETA:


A Marta não é mineira ou Carlos não é paulista.
B Marta não é paulista ou Carlos não é mineiro.
C Marta não é paulista e Carlos não é mineiro.
D Marta é mineira e Carlos é paulista.