Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 17 vistas

    Logica Proposicional 1

    Cargado por

    nilzatv3

    Copyright:

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

    Logica Proposicional 1

    Cargado por

    nilzatv3
    17 vistas2 páginas

    Título original

    Logica proposicional 1

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    17 vistas2 páginas

    Logica Proposicional 1

    Cargado por

    nilzatv3

    Copyright:

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

    CONCEPTOS PRELIMINARES P(9) : 9 > 6 es verdadero

    P(2) : 2 > 6 es falso


    La lógica estudia la forma de razonamiento. Es
    una disciplina que se utiliza para determinar si un El valor de verdad de P(x) depende del valor de x,
    argumento es válido, tiene aplicación en todos los también, se le conoce como función proposicional.
    campos del saber; en la filosofía, para determinar
    si un razonamiento es válido o no, ya que una frase CLASES DE PROPOSICIONES:
    puede tener diferentes interpretaciones; sin embar­
    go la lógica permite saber el significado correcto. 1. Proposición Simple: Son proposiciones que
    Los matemáticos usan la lógica, para demostrar no tienen conjunciones gramaticales ni adver­
    teoremas e inferir resultados que puedan ser apli­ bio de negación.
    cados en investigaciones. Ejemplo:
    * Cincuenta es múltiplo de diez.
    En la computación, para revisar programas y crear
    sus algoritmos, es utilizada en el diseño de compu­ 2. Proposición Compuesta: Formada por dos o
    tadoras. Existen circuitos integrados que realizan más proposiciones simples unidas por conec­
    operaciones lógicas con los bits, gracias a estos se tivos lógicos o por el adverbio de negación.
    ha desarrollado las telecomunicaciones (telefonía Ejemplo:
    móvil, internet, ... ) * 29 es un número primo y 5 es impar.

    ENUNCIADO: Es cualquier frase u oración que CONECTIVOS LÓGICOS: Símbolos que enlazan
    expresa una idea. dos o más proposiciones simples para formar una
    proposición compuesta.
    PROPOSICIÓN: Son oraciones aseverativas que Los conectores lógicos que usaremos son:
    se pueden calificar como verdaderas o falsas. Se
    representan con las letras minúsculas del abece­
    OPERACIÓN
    dario: p ; q ; r ; s. SÍMBOLO
    LÓGICA
    SIGNIFICADO

    Ejemplo:
    - Negación Nop
    /\ Conjunción pyq
    * Túpac Amaru murió decapitado.
    * 9 < 10 V Disyunción póq
    * 45 = 3- 2 � Condicional Si p, entonces q

    ENUNCIADO ABIERTO: Son enunciados que pue­ � Bicondicional psi y sólo siq
    den tomar cualquiera de los 2 valores de verdad.
    "o ...... o ......"
    Disyunción
    �
    Exclusiva
    Ejemplo:
    Observación: La negación es un conector moná­
    Si: P(x): x > 6 dico, afecta solamente a una proposición.
    Se cumple que:
    OPERACIONES LÓGICAS Y TABLAS DE VER­ Tabla de Verdad
    DAD p q p � q
    V V V
    La validez de una proposición compuesta depen­
    de de los valores de verdad de las proposiciones V F F
    simples que la componen y se determina mediante F V V
    una tabla de verdad. F F V

    1. Conjunción: Vincula dos proposiciones me­


    diante el conectivo lógico 1y11
    1
    • 5. Bicondicional: Vincula dos proposiciones
    mediante el conectivo lógico:
    ".............. SI. y SO'IO SI. .............. 1
    1

    Tabla de Verdad
    p q p /\ q
    Tabla de Verdad
    V V V p q p H q
    V F F
    V V V
    F V F
    V F F
    F F F
    F V F
    F F V
    2. Disyunción: Vincula dos proposiciones me­
    1 •
    diante el conectivo lógico 1011
    6. Negación: Afecta a una sola proposición. Es
    Tabla de Verdad un operador monádico que cambia el valor de
    verdad de una proposición:
    p q p V q
    V V V Tabla de Verdad
    V F V p -p
    F V V V F
    F F F F V

    3. Disyunción Exclusiva: Vincula dos proposi- Observación: La cantidad de filas en una tabla es:
    ciones mediante el conectivo lógico: 0 ........... ,
    o .............1
    1
    1
    1

    1 #filas= 2 1
    °

    Donde n es la cantidad de proposiciones simples.


    Tabla de Verdad
    p q p L'1 q Importante:
    V V F * Cuando los valores del operador principal son
    V F V todos verdaderos se dice que el es quema
    F V V molecular es tautológico.
    * Se dirá que el esquema molecular es contra­
    F F F
    dictorio si los valores del operador principal son
    todos falsos.
    4. Condicional: Vincula dos proposiciones me­ * Si los valores del operador principal tiene por
    diante el conectivo lógico:
    lo menos una verdad y una falsedad se dice
    1
    1
    s·1 ••••••••••.•, entonces .............. 1
    1

    que es contingente o consistente.

    También podría gustarte