A construção da frase p ^ ~q seria: "Andressa gosta de treinar e não é verdade que Andressa vai para a academia". A equivalência p ^ ~q = ~p v ~q pode ser explicada pela lei de De Morgan, que diz que a negação de uma conjunção é a disjunção das negações. Ou seja, a negação de "p ^ q" é "~p v ~q". Assim, temos que a negação de "Andressa gosta de treinar e não é verdade que Andressa vai para a academia" é "Não é verdade que Andressa gosta de treinar ou não é verdade que Andressa não vai para a academia".
Para escrever sua resposta aqui, entre ou crie uma conta
Fundamentos de Matemática para Computação
Compartilhar