Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 215 vistas

    Argumentos y Cuantificadores

    Cargado por

    Ximena Caballero Vargas
    Este documento presenta conceptos básicos de lógica proposicional y cuantificadores. Explica que una proposición puede ser simple o compuesta, y define operadores lógicos como la negación, conjunción, disyunción y condicional. También define argumentos, predicados, cuantificadores universales, existenciales y de unicidad. Por último, explica métodos para determinar la validez o falsedad de afirmaciones lógicas.

    Copyright:

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

    Argumentos y Cuantificadores

    Cargado por

    Ximena Caballero Vargas
    215 vistas8 páginas
    Este documento presenta conceptos básicos de lógica proposicional y cuantificadores. Explica que una proposición puede ser simple o compuesta, y define operadores lógicos como la negación, conjunción, disyunción y condicional. También define argumentos, predicados, cuantificadores universales, existenciales y de unicidad. Por último, explica métodos para determinar la validez o falsedad de afirmaciones lógicas.

    Título original

    Argumentos y cuantificadores.pptx

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta conceptos básicos de lógica proposicional y cuantificadores. Explica que una proposición puede ser simple o compuesta, y define operadores lógicos como la negación, conjunción, disyunción y condicional. También define argumentos, predicados, cuantificadores universales, existenciales y de unicidad. Por último, explica métodos para determinar la validez o falsedad de afirmaciones lógicas.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    215 vistas8 páginas

    Argumentos y Cuantificadores

    Cargado por

    Ximena Caballero Vargas
    Este documento presenta conceptos básicos de lógica proposicional y cuantificadores. Explica que una proposición puede ser simple o compuesta, y define operadores lógicos como la negación, conjunción, disyunción y condicional. También define argumentos, predicados, cuantificadores universales, existenciales y de unicidad. Por último, explica métodos para determinar la validez o falsedad de afirmaciones lógicas.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    de 8

    Argumentos y

    Cuantificadores
    CL ASE 1
    Proposicin Simple
    Proposiciones Simples Una proposicin simple es un enunciado que puede ser verdadero o
    falso.
    Si p es una proposicin sus posibles valores se representan por medio de un tabla de verdad.
    Negacin De una proposicin p es la proposicin con los valores opuestos y es denotada
    por . Tabla de verdad

    Ejemplo: Si p = Maana es Lunes, entonces la negacin es Maana no es lunes.


    Proposicin Compuesta
    Conjuncin La conjuncin de dos proposiciones p, q es la nueva proposicin p y q y es denotada por .

    Disyuncin La disyuncin es la proposicin p o q y es denotada por .


    Disyuncin exclusiva La disyuncin exclusiva es la nueva proposicin O p o q (no ambas al mismo tiempo)
    y es denotada por .
    Condicional Si p entonces q y se denota por . En este caso, p es el antecedente y q el consecuente.
    Conversa o recproca
    Inversa
    Contrapositiva

    Bicondicional p si y solo si q y se denota por .


    Combinacin de proposiciones simples.
    Proposiciones Compuestas
    1.
    Tautologa Una proposicin compuesta es
    2.
    una tautologa cuando su tabla de verdad
    3.
    tiene solo valores verdaderos sin importar el
    4.
    valor de verdad de sus proposiciones simples.
    5.
    6.
    7.
    8.
    9.
    Equivalencia Dos proposiciones compuestas 10.
    P y Q son equivalentes si tienen la misma tabla 11.
    de verdad y se denota . 12.
    13.
    14.
    Las dos ltimas se denominan Leyes de DeMorgan
    Argumento
    Un argumento es una lista de proposiciones Tres mtodos para comprobar la validez de un
    P1, P2, P3, , Pn llamadas premisas y una argumento:
    proposicin Q llamada conclusin. Por definicin Asumir que todas las premisas
    son verdaderas y por lo tanto, la conclusin
    tambin lo es.
    Teorema Aplicar el teorema del condicional
    (Tabla de Verdad).
    Un argumento es vlido cuando asumiendo
    que todas las premisas son verdaderas, la
    conclusin tambin lo es.
    Absurdo Asumir que la conclusin es falsa y
    determinar que no todas las premisas son
    verdaderas.
    Predicado
    Es una afirmacin que expresa una propiedad Variable en un predicado Smbolo que
    de un objeto o una relacin entre objetos. representa un miembro no especificado de
    Nomenclatura: una coleccin o universo.

    Tres partes fundamentales de un predicado


    Elemento Pertenece a una Cuando el sujeto es conocido, es una
    Coleccin o Universo que cumple o no con proposicin que puede ser verdadera o falsa.
    una Si el sujeto est representado por una variable,
    Propiedad Caracterstica. no es una proposicin.
    Cuantificadores
    Definicin Expresin que indica la cantidad Negacin:
    de elementos de un conjunto que cumplen
    Negar un predicado cuantificado, por ejemplo
    con una determinada propiedad. de coleccin C y predicado P, se debe seguir
    Cuantificador Universal Expresiones Para una de las dos siguientes reglas:
    todo, Todo determinan el cuantificador Negacin del Universal
    universal y se denota por .
    Cuantificador Existencial Expresiones Existe
    algn, Existe al menos un determinan el Negacin del existencial
    cuantificador existencial y se denota por .
    Cuantificador de Unicidad Expresin Existe
    un nico lo determina y se denota por .
    Observacin
    Determinar la validez de una afirmacin Demostracin Literal.
    Determinar falsedad Elemento que no cumpla con la propiedad. Contraejemplo.

    También podría gustarte