Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 48 vistas

    Lógica Simbólica (Material)

    Cargado por

    Fernando Rivera
    La lógica proposicional analiza ciertos tipos de argumentos representando proposiciones como fórmulas y operaciones lógicas como constantes que producen fórmulas más complejas. Se compone de enunciados proposicionales que pueden ser simples o compuestos. El lenguaje formal incluye letras para representar proposiciones, conectivas como la negación, conjunción y disyunción para formar proposiciones compuestas, y paréntesis auxiliares.

    Copyright:

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

    Lógica Simbólica (Material)

    Cargado por

    Fernando Rivera
    48 vistas1 página
    La lógica proposicional analiza ciertos tipos de argumentos representando proposiciones como fórmulas y operaciones lógicas como constantes que producen fórmulas más complejas. Se compone de enunciados proposicionales que pueden ser simples o compuestos. El lenguaje formal incluye letras para representar proposiciones, conectivas como la negación, conjunción y disyunción para formar proposiciones compuestas, y paréntesis auxiliares.

    Descripción original:

    Material de introducción a la lógica proposicional

    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?

    La lógica proposicional analiza ciertos tipos de argumentos representando proposiciones como fórmulas y operaciones lógicas como constantes que producen fórmulas más complejas. Se compone de enunciados proposicionales que pueden ser simples o compuestos. El lenguaje formal incluye letras para representar proposiciones, conectivas como la negación, conjunción y disyunción para formar proposiciones compuestas, y paréntesis auxiliares.

    Copyright:

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

    Lógica Simbólica (Material)

    Cargado por

    Fernando Rivera
    La lógica proposicional analiza ciertos tipos de argumentos representando proposiciones como fórmulas y operaciones lógicas como constantes que producen fórmulas más complejas. Se compone de enunciados proposicionales que pueden ser simples o compuestos. El lenguaje formal incluye letras para representar proposiciones, conectivas como la negación, conjunción y disyunción para formar proposiciones compuestas, y paréntesis auxiliares.

    Copyright:

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

    Lógica simbólica

    Lógica proposicional
    En lógica y matemáticas, la lógica proposicional es un sistema forma diseñado para analizar
    ciertos tipos de argumentos. En la lógica proposicional, las fórmulas representan proposiciones y
    las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor
    complejidad. Como otros sistemas lógicos, la lógica proposicional intenta clarificar nuestra
    comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza. La
    lógica proposicional está formada por enunciados proposicionales.
    Enunciado: Son expresiones que tienen sentido o significado, ejemplos: ¡Deja el celular en casa!,
    ¿Por qué no llueve?, ¡deseo ir al cine hoy!, un año tiene doce meses.
    Proposiciones: Son frases declarativas que pueden ser falsas o verdaderas, ejemplos: 7 + 2 = 14,
    el agua hierve a 100°, la luna es un satélite, Twitter es una red social.
    Proposiciones simples: Se forman por un solo enunciado proposicional, ejemplo: José canta bien,
    el día tiene 24 horas, el 4 es un número impar, el sol es una estrella.
    Proposiciones compuestas: Se forman por dos o más enunciados proposicionales, ejemplo: 2 +
    7 es 9 y 9 es impar, Ana tiene una Tablet o celular, una figura es cuadrilátero si y solo si tiene
    cuatro lados, si tengo hambre entonces como, la pared o es blanca o es roja.
    El alfabeto del lenguaje formal en la lógica proposicional.
    La negación (NOT)
    Podemos formar nuevas proposiciones a partir de otras de muchas maneras diferentes. Por
    ejemplo, a partir de p: "Yo soy un hondureño", podemos formar la negación de p: "No es el caso
    de que yo sea hondureño", o más sencillamente "No soy hondureño".
    Conectores: Sirven para enlazar proposiciones simples y convertirlas en compuestas.
    El lenguaje lógico de la lógica proposicional consta de tres signos para construir la estructura
    lógica del lenguaje natural.
    1. Unos signos para representar las proposiciones simples: se trata de las letras p, q, r, etc.
    2. Unos signos para formar proposiciones compuestas conectándolas entre sí: se trata de las
    conectivas (también llamados conectores, o juntores). Los cuales se representan en la
    siguiente tabla.
    Nombre de la conectiva Símbolo Correspondencia en lenguaje natural
    Negador ~ “No …”
    Conjunción ^ “… y …”
    Disyunción v “… o …”
    Disyunción exclusiva v “o … o …”
    Condicional → “Si … entonces …”
    Bicondicional ↔ “… si y solo si …”

    3. Unos signos auxiliares, que son los paréntesis, que ayudan a delimitar dónde comienza
    una parte de la fórmula y donde termina para iniciar la siguiente. Su equivalencia en el
    lenguaje natural serían los signos de puntuación.

    Maestro: Fernando Rivera UPNFM-PFP 2017

    También podría gustarte