Propriedades dos Conectivos da Lógica Matemática

Lógica Matemática Álgebra das proposições Propriedades dos conectivos Vimos algumas propriedades dos conectivos E OU Veremos agora algumas propriedades de outros conectivos Identidade A identidade apresenta um elemento neutro da operação O elemento neutro da soma é o 0 Zero O elemento neutro da multiplicação é o 1 um Qual seria o elemento neutro do E p V p Qual seria o elemento neutro do OU p v F p Absorção Estabelece a seguinte equivalência p p v q p p v p q p Negação de proposições compostas Leis de De Morgan A negação de uma conjunção é a disjunção das negações A negação de uma disjunção é a conjunção das negações Complicou Vamos Facilitar Negação de proposições compostas p v q p q p q p v q Equivalência da condicional Podemos substituir o conectivo Se Então por um conetivo OU da seguinte forma p q p v q p q p p q p v q V V F V V V F F F F F V V V V F F V V V Atividade Aplique as propriedades para simplificar as seguintes proposições p v p q p T q v p p q p p v q p v q q