Negación de una proposición compuesta, leyes de De Morgan. 17-09-2022


 Negación de una proposición compuesta, leyes de De Morgan.


Las leyes de Morgan son grandemente útiles cuando se requiere encontrar equivalentes para proposiciones que se obtienen por negación de proposiciones compuestas.

Las leyes de De Morgan​​​ son un par de reglas de transformación que son ambas reglas de

 inferencias válidas. Las normas permiten

 la expresión de las conjunciones y disyunciones puramente en términos de vía negación. 

Reglas:

La negación de "y" es lógicamente equivalente a "o" de cada una de las proposiciones simples negadas. -(p∧ q) = -p∨ -q

2. La negación de "o" es lógicamente equivalente a "y" de cada una de las proposiciones simples negadas. -(p V q) = -p ∧ -q
Las reglas pueden ser expresadas en lenguaje formal con dos proposiciones P y Q, de esta forma:


Ejemplos:


Un ejemplo de las leyes de D' Morgan seria la siguiente oración:

* Escriba la negación de "Es verano y no hay nieve"

- p^q ------- negado: -(p^q)

   -pV-q

= NO es verano O hay nieve. 

* Escriba la negación de "Yo no voy o ella va"

- pVq ------- negado: -(pVq)

  -p^-q

= Yo voy Y ella no va. 




























Comentarios

  1. Anayansy Gabriel1 de noviembre de 2022 a las 8:41 p.m.

    Las leyes de Morgan nos hacen cambiar una oración con solo cambiar la letra "o por y" también puede ser de forma contraria y colocarle la palabra no para su negación.

    ResponderBorrar

Publicar un comentario

Entradas más populares de este blog

Formas de la condicional: Inversa, recíproca y contrapositiva. Formas alternativas de la condicional. Bicondicional. 01-10-2022

  Formas de la condicional: Inversa, recíproca y contrapositiva.  Formas alternativas de la condicional. Bicondicional. Cualquier enunciado que se encuentre en la forma condicional de p  → q, tendrá en su forma un antecedente p o un consecuente   la forma directa es donde la proposición está escrita como "si, entonces". La forma inversa es donde el antecedente y consecuente siguen en la misma posición, sin embargo, se niegan, por lo que se representa como "~p→~q" y se lee "si no p, entonces no q", por otra parte, la recíproca es la variante donde se cambia el orden de las posiciones de la directa, es decir que se representa como "q→p" y se lee "si q, entonces p". Y por último tenemos la variante contrapositiva, en la cual prácticamente se aplican todos los cambios anteriores en la forma directa, se representa como "~q→~p", se lee "si no q, entonces no p". En el caso de bicondicionales, se puede encontrar el enunciado...
Leer más

Condicional. Negación de la condicional. Enunciados equivalentes a partir de la condicional 24-09-2022

Imagen
Condicional.  Negación de la condicional. Enunciados equivalentes a partir de la condicional Esta operación está formada por dos proposiciones y el conectivo "→”. Condicional de las proposiciones p, q es p →q (si p entonces q, también se puede leer como p implica q). La proposición p se llama antecedente y la proposición q es el consecuente.                                                 La condicional o implicación El resultado de esta operación, está dado por esta tabla de verdad. Negación de la condicional o implicación Para negar la condicional o implicación, se usa una proposición equivalente, que no es ninguna de las Leyes de De Morgan. Negación de la condicional o implicación ~ 𝑝 → 𝑞 ≡ 𝑝 ˄ ~q Ejemplo: Directa   El que entre la miel anda algo se le pega. Negación  Entre la miel anda y algo no se le pega. Equivalentes a partir de la condic...
Leer más