Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 702 vistas

    Enunciados y Cuantificadores 2

    Cargado por

    Jonatan Olan Robles
    El documento habla sobre los diferentes tipos de cuantificadores, enunciados, símbolos, negaciones, conjunciones, disyunciones, condicionales y tablas de verdad en lógica proposicional. Define cada uno de estos conceptos y provee ejemplos para ilustrarlos.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Enunciados y Cuantificadores 2

    Cargado por

    Jonatan Olan Robles
    702 vistas5 páginas
    El documento habla sobre los diferentes tipos de cuantificadores, enunciados, símbolos, negaciones, conjunciones, disyunciones, condicionales y tablas de verdad en lógica proposicional. Define cada uno de estos conceptos y provee ejemplos para ilustrarlos.

    Descripción original:

    Enunciados

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento habla sobre los diferentes tipos de cuantificadores, enunciados, símbolos, negaciones, conjunciones, disyunciones, condicionales y tablas de verdad en lógica proposicional. Define cada uno de estos conceptos y provee ejemplos para ilustrarlos.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    702 vistas5 páginas

    Enunciados y Cuantificadores 2

    Cargado por

    Jonatan Olan Robles
    El documento habla sobre los diferentes tipos de cuantificadores, enunciados, símbolos, negaciones, conjunciones, disyunciones, condicionales y tablas de verdad en lógica proposicional. Define cada uno de estos conceptos y provee ejemplos para ilustrarlos.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    Está en la página 1de 5

    enunciados y cuantificadores

    se le llama cuantificadores a los smbolos o seas que se encuentran dentro de


    los contextos, que nos sirven para indicar cuantos tipos de elementos
    conforman un conjunto y para saber cuntos cumplen con dicha propiedad.
    existen muchos tipos de cuantificadores, pero los as comunes son:
    cuantificador universal
    cuantificador existencial
    enunciados

    son parte de la lgica simblica, pues nos orilla a introducir letras o smbolos
    tales como ( y, o, no). en si los enunciados son el estudio de oraciones.
    esa nia es nia es gordita y bonita

    Negaciones

    la negacin es tener la verdad en un oracin falsa o viceversa


    juan es guapo > juan no es guapo
    Luis es feo> Luis no es feo

    Smbolos
    Son los representantes de los conectores
    pedro compro un balo y se le rompi
    juan no es feo

    Cuantificadores
    Son los sub salientes que sirven para indicar situaciones particulares
    al menos un perro en el mundo muerde > ningn perro en el mundo muerde

    Tabla de verdades y enunciados equivalentes


    Conjuncin
    Son los enlaces u conectores que le dan un valor absoluto a la verdad si dicho
    enunciado corresponde a lo cierto.
    mayo sigue inmediatamente a abril
    abril sigue inmediatamente a agosto

    Disyunciones

    es una expresin ambigua puesto que le da doble significado a una


    sola expresin

    podare el csped o podare los arbustos

    (Probabilidad)

    correr rpido o trotare rpido para alcanzar el autobs

    (Puedo hacer una pero no ambas)

    Negaciones

    se trata de tener el valor opuesto al enunciado

    ngel es feo > ngel no es feo

    p -p
    f v
    v f
    f v

    Tabla de verdad

    se basa en propuestas o enseanzas logias que pueda representar validez en situaciones


    o propuesta para asi poder ser verdadero o a la vez falso un enunciado es as a como
    llegamos a la tabla de la verdad.
    p q q q
    v v v
    v f f
    f v v
    f f v

    Enunciados equivalentes a las leyes de Morgan

    p q q q
    v v v
    v f f
    f v v
    f f v

    p q ( p v q)
    f f v
    f v f
    v f v
    f v f

    El condicional
    Condicionales

    se puede decir que la condicional es la relacin lgica binaria de un enunciado esto quiere
    decir que son preposiciones que podemos volver de falsa a verdaderas o de verdaderas a
    falsas o tambin volverlas negaciones.

    Ejemplos
    p: el nio juega futbol

    q:el padre lo premia

    el nio juega futbol y el padre lo premia


    el nio juega futbol entonces el adre no lo premia
    el nio no juega futbol entonces el padre si lo premia
    el nio no juega futbol entonces el padre no lo premia

    p q p_-> q
    v v v
    v f f
    f v v
    f f v

    negacin en condicional

    Esta es la viceversa del enunciado o preposicin, si la preposicin es falsa entonces es


    verdad y si es falsa entonces es verdad.

    p q -p -q -p v-q
    v v f f f
    v f f v v
    f v v f v
    f f v v v

    Condicional y enunciados relacionados


    Biocondicional

    Podramos decir que la condicional es la interpretacin de dos condicionales dicho sea de


    paso que este suceso solo ocurre cuando dos enunciados afirman absoluta verdad o falso
    cuando tienen diferentes valores.

    Un ngulo de 90 es recto si y solo si es un ngulo recto


    La conversa podramos decir que es la unin o interpretacin de lo anterior a lo posterior
    o lo antecedente a l consecuente o de igual manera podramos explicarlo que es el
    intercambio de la hiptesis a la conclusin.

    si dos perros tienen el mismo tamao entonces estos son iguales.

    La inversa est ms bien tiene como funcin hacer la negacin de lo antecedente y lo


    consecuente, o mejor an negar la hiptesis y la conclusin del enunciado,

    Si los dos perros no tienen el mismo tamao entonces estos no son iguales.

    La contra positiva hace como funcin el intercambio de la antecedente a lo consecuente


    haciendo con ellos su funcin de negacin es as como formamos un enunciado contra
    positivista.

    si los dos perros no tienen el mismo tamao entonces estos no son iguales.

    p q p->q p q q->q
    v v v f f v
    v f f f v f
    f v v v f v
    f f v v v v

    Entonces si hacen un resumen ms adjunto o mejor estructurado se lo resumira en una


    sola oracin que quedara as

    El inverso es lo contra positivo del converso

    También podría gustarte