Formas Canonicas

Literales Complementarios P y ¬ P Literales P , Q , V , F Conectivos Lógicos ¬ , Λ , ν , -> , ↔ Constantes proposicionales- Valores de Verdad: V , F Proposición atómica P , Q , R , etc ,[object Object],[object Object],[object Object],Forma Normal Disyuntiva (FND ) Si está escrita como una disyunción, en la cual todos los términos son literales o conjunción de literales Si en un término aparecen todas las variables se dice minitérmino y la forma normal con minitérminos se dice Forma Normal Disyuntiva Completa Forma Normal Conjuntiva (FNC) Si está escrita como una conjunción, en la cual todos los términos son literales o disyunción de literales Si en un término aparecen todas las variables se dicen maxitérmino y la forma normal con maxitérminos se dice Forma Normal Conjuntiva Completa Por Lic. Gladys Mónica Romano

[object Object],[object Object],[object Object],[object Object],Decisión de Tautologicidad por medio de las FNC Si una expresión lógica es tal que su FNC posee, en todos sus maxitérminos, literales complementarios, entonces dicha expresión lógica es una tautología Aplicación: Determinación de la validez de un argumento lógico El argumento lógico es válido si, y sólo sí la FNC correspondiente posee en todos sus maxitérminos literales complementarios

Formas Canonicas

Recomendados

Recomendados

Mais conteúdo relacionado

Mais procurados

Mais procurados (20)

Destaque

Destaque (6)

Semelhante a Formas Canonicas

Semelhante a Formas Canonicas (6)

Último

Último (20)

Formas Canonicas