sábado, 24 de julio de 2010

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


14 comentarios:

  1. Este fue el tema que nos toco exponer como grupo, consiste en negaciones como ya lo habiamos visto en matematicas solo tuvimos que aplicarlo a proposiciones verbales

    ResponderEliminar
  2. Este comentario ha sido eliminado por el autor.

    ResponderEliminar
  3. Mi confusión es por ej - ( - p ^ q) como quedaría???

    ResponderEliminar
    Respuestas
    1. - - p ˄ q ó p ˄ q , cualquiera de las dos.. pero usa mejor la segunda. lo negativo de negativo es positivo.

      Eliminar
    2. - - p ˄ q ó p ˄ q , cualquiera de las dos.. pero usa mejor la segunda. lo negativo de negativo es positivo.

      Eliminar
    3. no entiendo nada lpm porque mierda elegi informatica

      Eliminar
  4. Ojala y me sirva para mi tarea la verdad no entiendo nada!

    ResponderEliminar
  5. Ojala y me sirva para mi tarea la verdad no entiendo nada!

    ResponderEliminar
  6. Este comentario ha sido eliminado por el autor.

    ResponderEliminar
  7. yo de esto no entendí nada espero q me sirva de algo porque no me quiero sacar un 1.0

    ResponderEliminar
  8. Buenas tardes compañeros alguno de ustedes me puede ayudar con este ejercicio la verdad no sé como solucionar

    Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a través de:
    Uso de las tablas de verdad.
    Uso de las reglas de inferencia.

    “Si no compramos una parcela, entonces construimos una casa. Si construimos una casa, no compramos un apartamento. Si no compramos un apartamento entonces compramos muebles. No compramos una parcela. No compramos muebles o compramos un apartamento. Por lo tanto, compramos un apartamento”.

    ResponderEliminar
  9. Esa ley es increíble y mega kawai me encanta

    ResponderEliminar