Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 141 vistas

    Reporte de Investigación

    Cargado por

    Mario Bastida
    Este documento resume conceptos clave de lógica matemática como lógica de predicados y cálculo de predicados. Explica que la lógica de predicados se basa en expresar relaciones entre objetos y sus cualidades mediante predicados. Introduce símbolos lógicos como implicación, conjunción, disyunción y negación. Luego, describe el cálculo de predicados como una extensión de la lógica proposicional que incluye términos, variables, cuantificadores y predicados aplicados a términos para form

    Copyright:

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

    Reporte de Investigación

    Cargado por

    Mario Bastida
    141 vistas3 páginas
    Este documento resume conceptos clave de lógica matemática como lógica de predicados y cálculo de predicados. Explica que la lógica de predicados se basa en expresar relaciones entre objetos y sus cualidades mediante predicados. Introduce símbolos lógicos como implicación, conjunción, disyunción y negación. Luego, describe el cálculo de predicados como una extensión de la lógica proposicional que incluye términos, variables, cuantificadores y predicados aplicados a términos para form

    Descripción original:

    Reporte de investigación: lógica matemática. Especialmente sobre el calculo de predicados

    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?

    Este documento resume conceptos clave de lógica matemática como lógica de predicados y cálculo de predicados. Explica que la lógica de predicados se basa en expresar relaciones entre objetos y sus cualidades mediante predicados. Introduce símbolos lógicos como implicación, conjunción, disyunción y negación. Luego, describe el cálculo de predicados como una extensión de la lógica proposicional que incluye términos, variables, cuantificadores y predicados aplicados a términos para form

    Copyright:

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

    Reporte de Investigación

    Cargado por

    Mario Bastida
    Este documento resume conceptos clave de lógica matemática como lógica de predicados y cálculo de predicados. Explica que la lógica de predicados se basa en expresar relaciones entre objetos y sus cualidades mediante predicados. Introduce símbolos lógicos como implicación, conjunción, disyunción y negación. Luego, describe el cálculo de predicados como una extensión de la lógica proposicional que incluye términos, variables, cuantificadores y predicados aplicados a términos para form

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 3

    Reporte de

    investigacio n: lo gica
    matema tica
    Matematicas computacionales v2
    Asesor: Karina Delgado Arredondo
    Alumno: Bastida Garca Mario Matricula:16005851
    1.1 Logica matemtica

    1.1.1 Logica de predicados

    Est basada en la idea de que las sentencias realmente expresan relaciones entre objetos, as
    como sus cualidades y atributos. Los objetos pueden ser personas, cosas fsicas o conceptos. Tales
    cualidades, relaciones o atributos, se denominan predicados. Los objetos se conocen como
    argumentos o trminos del predicado. Los predicados tambin pueden ser utilizados para asignar
    una cualidad abstracta a sus trminos, o para representar acciones o relaciones de accin entre
    dos objetos

    En la Lgica de predicados, establecer como verdadero un predicado es suficiente para que as


    sea considerado. Tales predicados, establecidos y asumidos como lgicamente verdaderos se
    denominan axiomas, y no requieren de justificacin para establecer su verdad. Los argumentos
    que representan a un objeto especfico se denominan constantes. Sin embargo, en la Lgica de
    Predicados se pueden tener argumentos que en determinado momento pueden ser desconocidos.
    Estos son los de tipo variable. En el ejemplo color (yerba, X), la variable X, puede tomar el valor de
    verde, haciendo que el predicado sea verdadero; o puede tomar el valor de azul, dando lugar a
    que sea falso.

    Smbolo Nombre Se lee como Categora


    Implicacin material o en un solo Implica; si .. entonces; Lgica Proposicional.
    sentido. por lo tanto.

    A B significa: si A es verdadero entonces B tambin es verdadero; si B es verdadero entonces


    nada se dice sobre A.

    puede significar lo mismo que , o puede ser usado para denotar funciones, como se indica
    ms abajo.

    x = 2 x = 4 es verdadera, pero 4 = x x = 2 es, en general, falso (ya que x podra ser 2)

    / tal que, ejemplo, x/y se lee x tal que y.


    Doble implicacin. Si y slo si; sii1. Lgica Proposicional.
    A B significa: A es verdadera si B es verdadera y A es falsa si B es falsa.
    x+5=y+2x+3=y

    Conjuncin lgica Y Lgica Proposicional, teora
    o interseccin en una reja. de rejas.
    La proposicin A B es verdadera si A y B son ambas verdaderas; de otra manera es falsa.
    Todo es verdadero de los valores.
    n < 4 n > 2 n = 3 cuando n es un nmero natural.
    Disyuncin lgica o unin en una O Lgica Proposicional, teora
    reja. de rejas.
    La proposicin A B es verdadera si A o B (o ambas) son verdaderas; si ambas son falsas, la
    proposicin es falsa.
    n 4 n 2 n 3 cuando n es un nmero natural.
    Negacin lgica. No Lgica Proposicional.
    / (Tal que)
    La proposicin A es verdadera si y slo si A es falsa.
    Una barra colocada sobre otro operador es equivalente a un colocado a la izquierda.
    (A B) (A) (B); x S (x S).
    Tabla 1. Smbolos matemticos para la Lgica Proposicional y de predicados. Extrado de

    Calculo de predicados

    Es una extensin de la lgica proposicional, en que hay trminos definidos


    como constantes o variables, y cuantificadores existenciales () o universales ()
    que definen el alcance de las variables, y hay predicados que se aplican a los
    trminos.
    El clculo predicativo de primer orden es un lenguaje formal con el que se pueden
    expresar una gran cantidad de afirmaciones.
    Un lenguaje, como el clculo predicativo, est definido por su sintaxis. Las
    expresiones correctas del CP se llaman Frmulas Bien Formadas.
    Los componentes elementales de ste lenguaje son smbolos de: predicados,
    variables, funciones y constantes. Un smbolo predicativo se usa para representar una
    relacin en un dominio, por medio de lo cual podemos crear Frmulas Atmicas.

    El cuantificador universal indica que la frmula bien formada, dentro de su alcance, es verdadera para
    todos los valores posibles de la variable que es cuantificada. Por ejemplo: El cuantificador existencial
    determina que la frmula bien formada, dentro de su alcance, es verdadera para algn valor o valores dentro
    del dominio.

    También podría gustarte