El día de hoy hemos continuado con el tema de lógica, este es un tema que me resulta bastante fácil debido a que lo aprendí desde el colegio y lo conozco bastante bien, hicimos unos cuantos ejercicios que consistían en encontrar el valor de verdad de algunas proposiciones compuestas, por ejemplo:
p:16<8
q:5<4
r: 17<=17
y teníamos que definir el valor de verdad de:
"-p v (-r v -q)"
el cual tenía un valor de verdad verdadero.
Luego el licenciado mencionó un poco sobre las leyes de De morgan, por lo cual decidí investigar un poco más sobre el tema. A continuación encontrarán información sobre ello.
Leyes de Morgan
Las Proposiciones
Una proposición es una afirmación que puede recibir un valor de verdad falso (F), o bien verdadero (V), pero no ambos a la vez.
Su denotación generalmente la encontramos con las letras (p, q, r)
Conectores Lógicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el uso de conectivos lógicos. Algunos de ellos son:
^ “y” conjunción
v “o” disyunción
-> “si —, entonces” implicación
<-> “si y sólo si” doble implicación
¬ “no” negación
Leyes de Morgan
Son una parte de la Lógica proposicional, analítica ,y fueron creada por Augustus de Morgan.
Estas declaran las reglas de equivalencia en las que se muestran que dos proposiciones pueden ser lógicamente equivalentes.
Las Leyes de Morgan permiten:
El cambio del operador de conjunción en operador de disyunción y viceversa.
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan pueden estar afirmadas o negadas (en todo o en sus partes).
Casos:
¬(P ^ Q) ≡ (¬P v ¬Q)
Si nos encontramos con una proposición conjuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposición disyuntiva con cada uno de su miembros negados
¬(P v Q) ≡ (¬P ^ ¬Q)
Si nos encontramos con una proposición disyuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposición conjuntiva con cada uno de sus miembros negados
(P ^ Q) ≡ ¬ (¬ P v ¬ Q)
Si nos encontramos con una proposición conjuntiva afirmada, la ley de Morgan nos permite transformarla en una proposición disyuntiva negada en su totalidad y en sus miembros.
(P v Q) ≡ ¬(¬P ^ ¬Q)
Si nos encontramos con una proposición disyuntiva afirmada, la ley de Morgan nos permite transformarla en una proposición conjuntiva negada en su totalidad y en sus miembros.
Una proposición es una afirmación que puede recibir un valor de verdad falso (F), o bien verdadero (V), pero no ambos a la vez.
Su denotación generalmente la encontramos con las letras (p, q, r)
Conectores Lógicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el uso de conectivos lógicos. Algunos de ellos son:
^ “y” conjunción
v “o” disyunción
-> “si —, entonces” implicación
<-> “si y sólo si” doble implicación
¬ “no” negación
Leyes de Morgan
Son una parte de la Lógica proposicional, analítica ,y fueron creada por Augustus de Morgan.
Estas declaran las reglas de equivalencia en las que se muestran que dos proposiciones pueden ser lógicamente equivalentes.
Las Leyes de Morgan permiten:
El cambio del operador de conjunción en operador de disyunción y viceversa.
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan pueden estar afirmadas o negadas (en todo o en sus partes).
Casos:
¬(P ^ Q) ≡ (¬P v ¬Q)
Si nos encontramos con una proposición conjuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposición disyuntiva con cada uno de su miembros negados
¬(P v Q) ≡ (¬P ^ ¬Q)
Si nos encontramos con una proposición disyuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposición conjuntiva con cada uno de sus miembros negados
(P ^ Q) ≡ ¬ (¬ P v ¬ Q)
Si nos encontramos con una proposición conjuntiva afirmada, la ley de Morgan nos permite transformarla en una proposición disyuntiva negada en su totalidad y en sus miembros.
(P v Q) ≡ ¬(¬P ^ ¬Q)
Si nos encontramos con una proposición disyuntiva afirmada, la ley de Morgan nos permite transformarla en una proposición conjuntiva negada en su totalidad y en sus miembros.
Comentarios
Publicar un comentario