Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 17K vistas

    Formulario de Lógica Proposicional

    Cargado por

    Fernando Zuñiga
    El documento describe los conectivos lógicos y leyes del álgebra proposicional. Presenta los operadores proposicionales como la conjunción, disyunción, condicional y bicondicional, y explica sus tablas de verdad. Además, enumera doce leyes del álgebra proposicional como las leyes de absorción, complemento, asociatividad, distributividad e identidad. Finalmente, proporciona términos del lenguaje natural que designan a los operadores proposicionales como el implicador, negador,

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOC, PDF, TXT o lea en línea desde Scribd

    Formulario de Lógica Proposicional

    Cargado por

    Fernando Zuñiga
    17K vistas2 páginas
    El documento describe los conectivos lógicos y leyes del álgebra proposicional. Presenta los operadores proposicionales como la conjunción, disyunción, condicional y bicondicional, y explica sus tablas de verdad. Además, enumera doce leyes del álgebra proposicional como las leyes de absorción, complemento, asociatividad, distributividad e identidad. Finalmente, proporciona términos del lenguaje natural que designan a los operadores proposicionales como el implicador, negador,

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    DOC, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento describe los conectivos lógicos y leyes del álgebra proposicional. Presenta los operadores proposicionales como la conjunción, disyunción, condicional y bicondicional, y explica sus tablas de verdad. Además, enumera doce leyes del álgebra proposicional como las leyes de absorción, complemento, asociatividad, distributividad e identidad. Finalmente, proporciona términos del lenguaje natural que designan a los operadores proposicionales como el implicador, negador,

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOC, PDF, TXT o lea en línea desde Scribd
    Descargar como doc, pdf o txt
    17K vistas2 páginas

    Formulario de Lógica Proposicional

    Cargado por

    Fernando Zuñiga
    El documento describe los conectivos lógicos y leyes del álgebra proposicional. Presenta los operadores proposicionales como la conjunción, disyunción, condicional y bicondicional, y explica sus tablas de verdad. Además, enumera doce leyes del álgebra proposicional como las leyes de absorción, complemento, asociatividad, distributividad e identidad. Finalmente, proporciona términos del lenguaje natural que designan a los operadores proposicionales como el implicador, negador,

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como DOC, PDF, TXT o lea en línea desde Scribd
    Descargar como doc, pdf o txt
    de 2

    CONECTIVOS LGICOS

    Conjuncin o Conjuntiva p q p q V V V V F F F V F F F F Disyuncin o Disyuntiva


    Disyuncin exclusiva

    LEYES DEL LGEBRA PROPOSICIONAL


    1. Leyes de absorcin p q) p (p p p p ( q) q p q) p (p p p p ( q) q 2. Leyes de la condicional pq p q pq qp 3. Ley de dem potencia p p p p p p 4. Leyes conmutativas p q q p pq qp p q q p pq qp 5. Leyes de complemento pp V ( p) p pp F 6. Unas ms pq pq pq pq p q pq p q pq 7. Leyes de morgan (p pq q) (p pq q) 8. Leyes asociativas (p r p r) q) (q (p r p r) q) (q 9. Leyes distributivas p r) (p (p (q q) r) 10. Leyes de la bicondicional pq ( p (pq) q) pq (p ( pq) q) pq (pq) (qp) pq (pq) 11. Ley de la identidad p V V pp V p F F p p F p p V pp F p p F p p V p p q q

    p V V F F

    Q V F V F

    p q V V V F

    Disyuncin inclusiva

    p q pq V V V V F F F V F F F F Condicional o Implicacin p q p q V V V V F F F V V F F V Bicondicional implicacin p q V V V F F V F F o p q V F F V Doble

    Trminos del Lenguaje Natural que Designan Operadores Proposicionales

    p no es equivalente a q

    IMPLICADOR: pq
    p implica a q p por lo tanto q p luego q p consecuentemente q Ya que p entonces q Puesto que p entonces q Siempre que p entonces q Dado que p entonces q De p deviene q p condiciona a q p solo cuando q p es condicin suficiente para q p solo si q

    NEGADOR: p No p, nunca p, jams p Es falso que p Es absurdo que p Es mentira que p Es negable que p Es inconcebible que p No ocurre que p Es inadmisible Es refutable p Es contradictorio que p CONJUNTOR: p q p pero q p aunque q p con q p sin embargo q p incluso q p tanto como q p as mismo q p tambin q p al igual que q No solo p tambin q p no obstante q p adems q p p p p p p p p p p p p DISYUNTOR: p (Incluyente) q o tambin q o incluso q a no ser q a no ser que q y/o q o en todo caso q y bien o tambin q excepto que q a menos q salvo que q alternativamente q o bien q

    REPLICADOR: pq (Implicador inverso) p porque q p, si q p se concluye (deduce, infiere) de q p siempre que q p pues q p cada vez que q p dado que q p ya que q p puesto que q p supone que q p en vista que q p deviene de q DOBLE IMPLICADOR: pq p siempre y cuando q p es condicin suficiente y necesaria para q p porque y solamente q p es suficiente y q tambin p es equivalente a q p es idntico que q p es !o mismo que q p implica y esta implicado por q Solo si p entonces q

    DISYUNTOR: pq (Excluyente) p o slo q p o nicamente q p o solamente q p o tan solo q O bien p o bien q Opoq

    También podría gustarte