As Leis de De Morgan são uma equivalência lógica, e P é logicamente equivalente ou apenas é equivalente a Q, se as duas tabelas verdades forem idênticas.
Fonte: adaptado de: ALENCAR FILHO, E. Introdução à Lógica Matemática. São Paulo: Nobel, 2002. p. 55-56.
Com base no exposto, considere a proposição composta: “José é loiro e Maria é ruiva”. A negação dessa proposição é escrita como:
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica Matemática e Elementos de Lógica Digital
Lógica Matemática e Elementos de Lógica Digital
Lógica Matemática e Elementos de Lógica Digital
Lógica Matemática e Elementos de Lógica Digital
Compartilhar