Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 2 vistas

    Modulo Ii

    Cargado por

    gina

    Copyright:

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

    Modulo Ii

    Cargado por

    gina
    2 vistas7 páginas

    Título original

    MODULO II

    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
    2 vistas7 páginas

    Modulo Ii

    Cargado por

    gina

    Copyright:

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

    MODULO II: EL LENGUAJE QUE ENTIENDE EL COMPUTADOR

    Tema 2.1 Conectores lógicos

    Tema 2.2 Tablas de verdad, Certeza y validez

    Tema 2.3 Equivalencias lógicas

    2.1 CONECTORES LÓGICOS

    En lógica, un operador lógico o conectores lógicos es un símbolo o palabra que se utiliza para conectar dos
    fórmulas bien formadas (proposiciones): atómicas o moleculares, de modo que el valor de verdad de una
    proposición compuesta (molécula), depende del valor de verdad de las proposiciones atómicas que la componen.

    CONECTORES LÓGICOS Y SUS TABLAS DE VERDAD

    Antes de explicar a cada conector con su tabla de verdad, definamos primero lo que significa una tabla de verdad y
    como se construye.

    Tablas de verdad, Certeza y validez de Proposiciones

    Una tabla de verdad, es una herramienta que muestra el valor de verdad de una proposición. Nos
    permiten analizar cualquier fórmula y hallar sus valores de verdad. Nos dice si un razonamiento es válido o
    no. La tabla de verdad expresa todos los valores de verdad imaginables de una proposición. Así, pues, si
    nuestra proposición es atómica, sólo podrá tener dos valores: verdadero o falso, pero si es molecular, se
    deberán representar cada una de sus proposiciones atómica con sus respectivos valores de verdad.
    Obviamente que cada proposición atómica sólo puede ser verdadera o falsa, pero la relación entre dos
    proposiciones atómicas dentro de una molecular se complica, ya que ambas proposiciones pueden ser
    simultáneamente verdaderas o falsas, o bien una verdadera y la otra falsa; surgen pues cuatro posibilidades
    de verdad en una proposición molecular compuesta de dos variables.
    CONSTRUCCION DE UNA TABLA DE VERDAD

    Para construir una tabla de verdad, se debe realizar lo siguiente:

    1. Identificar las distintas proposiciones que existen en la formula (p,q,r,s,….)


    2. Aplicar la siguiente regla: dado que cada proposición puede tomar 2 valores (V o F), entonces el
    número de filas que tendrá la tabla sera 2n, donde n es la cantidad de proposiciones distintas en la
    fórmula.
    3. Las distintas combinaciones de V o F, estará en función de la cantidad de proposiciones distintas:
    CONECTORES LOGICOS

    1. Negación (no), ( , ~): La negación de una proposición, es una nueva proposición que tendrá un valor
    de verdad contrario al original. Sea p la proposición, su negación será p.

    Proposiciones distintas: p Número de filas en la tabla: 2 1 = 2

    Tabla de verdad

    2. Conjunción ( y lógico, ^ ): La conjunción de dos proposiciones p y q, es una proposición compuesta o


    molecular, escrita de la siguiente manera p ^ q. La proposición p ^ q, será verdadera cuando las dos
    proposiciones simples sean verdaderas, y falso en cualquier otro caso.

    Proposiciones distintas: p, q Número de filas en la tabla: 2 2 = 4

    Tabla de verdad

    3. Disyunción ó (o lógico, v ): Es una proposición compuesta, formada por dos proposiciones p,q y se unen
    con el símbolo (v). La proposición p v q será verdadera cuando al menos una de las proposiciones sea
    verdadera, y falso en cualquier otro caso.

    Proposiciones distintas: p, q Número de filas en la tabla: 2 2 = 4

    Tabla de verdad
    4. Condicional (Si….entonces, → ): Es una proposición compuesta que resulta de conectar dos
    proposiciones p, q, mediante el símbolo (→), se denota p→q . En esta proposición, p se llama
    antecedente y q se llama consecuente, es decir si pasa p entonces ocurre q. p→ q será falsa cuando el
    antecedente sea verdadero y el consecuente sea falso, esto se conoce como una contradicción, ya que
    no puede pasar algo que sea verdad y tener como consecuencia algo falso. El resto de los casos será
    verdadera.

    Proposiciones distintas: p, q Número de filas en la tabla: 2 2 = 4

    Tabla de verdad

    5. Bicondicional ( Si y solo si, ↔): Es una proposición compuesta que resulta de la unión de dos
    proposiciones p, q, mediante el símbolo ( ↔). Se denota p↔q y erá verdadera cuando ambas sean
    verdaderas o ambas sean falsas, en cualquier otro caso será falsa.

    Proposiciones distintas: p, q Número de filas en la tabla: 2 2 = 4

    Tabla de verdad

    TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

    Las tablas de verdad son entonces, un método para representar de manera abreviada todos los posibles
    valores de verdad de una proposición. Obviamente que su utilidad está al aplicarse a las proposiciones
    moleculares y mostrarnos si son tautologías, contradicciones o contingencias.
    1. TAUTOLOGÍA: En lógica formal, una tautología es una proposición molecular que siempre resulta
    verdadera al combinar todos los posibles valores de verdad que poseen las proposiciones atómicas que
    la componen. Veamos un ejemplo.

    Ejemplo 1

    Sea la siguiente proposición molecular: , verifiquemos si es una tautología.

    Nro de proposiciones = 2 Nro. De filas de la tabla = 2 2 = 4

    Construimos la tabla

    Aplicamos las definiciones de los conectores, primero para él “y” lógico y luego la “implicación”.

    Dado que la proposición molecular es verdadera para todas las


    combinaciones de valores de verdad de sus proposiciones atómicas, entonces es una TAUTOLOGIA

    Ejemplo 2 Sea la siguiente proposición molecular [(p→q) ^ (p →r)] →[(p →r)],


    verifiquemos si es una tautología.
    Es una Tautología

    2. CONTRADICCION: Una contradicción es aquella proposición que al representarse todas sus posibles
    combinaciones de valores de verdad en una tabla, el resultado siempre es falso.

    Ejemplo Determina si es una contradicción.

    Es una contradicción.

    3. CONTINGENCIA: Son aquellas que los resultados de su tabla de verdad son en algunos casos
    verdaderos y en otros falsos.

    Ejemplo: Determina si , son una contingencia

    Es una Contingencia

    EQUIVALENCIA LÓGICA

    Dos formas proposicionales p y q son lógicamente equivalentes se escribe (p ≡ q), si sus tablas de
    verdad son iguales.

    Ejemplo: verificar si la siguiente expresión son lógicamente equivalentes

    También podría gustarte