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

¡Te damos la bienvenida a Scribd!

  • 299 vistas

    15-05 Tablas de Verdad

    Cargado por

    Samira Pastor
    Este documento presenta una introducción a la lógica proposicional. Explica que la lógica proposicional se basa en proposiciones, que son enunciados a los que se les puede asignar un valor de verdad. Presenta ejemplos de proposiciones simples y complejas, y describe los principales conectores lógicos como "y", "o", "implica", "equivalente" y "no". También introduce las tablas de verdad para los diferentes conectores y presenta ejercicios de traducción entre lenguaje natural y

    Copyright:

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

    15-05 Tablas de Verdad

    Cargado por

    Samira Pastor
    299 vistas6 páginas
    Este documento presenta una introducción a la lógica proposicional. Explica que la lógica proposicional se basa en proposiciones, que son enunciados a los que se les puede asignar un valor de verdad. Presenta ejemplos de proposiciones simples y complejas, y describe los principales conectores lógicos como "y", "o", "implica", "equivalente" y "no". También introduce las tablas de verdad para los diferentes conectores y presenta ejercicios de traducción entre lenguaje natural y

    Título original

    15-05 Tablas de verdad

    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?

    Este documento presenta una introducción a la lógica proposicional. Explica que la lógica proposicional se basa en proposiciones, que son enunciados a los que se les puede asignar un valor de verdad. Presenta ejemplos de proposiciones simples y complejas, y describe los principales conectores lógicos como "y", "o", "implica", "equivalente" y "no". También introduce las tablas de verdad para los diferentes conectores y presenta ejercicios de traducción entre lenguaje natural y

    Copyright:

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

    15-05 Tablas de Verdad

    Cargado por

    Samira Pastor
    Este documento presenta una introducción a la lógica proposicional. Explica que la lógica proposicional se basa en proposiciones, que son enunciados a los que se les puede asignar un valor de verdad. Presenta ejemplos de proposiciones simples y complejas, y describe los principales conectores lógicos como "y", "o", "implica", "equivalente" y "no". También introduce las tablas de verdad para los diferentes conectores y presenta ejercicios de traducción entre lenguaje natural y

    Copyright:

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

    TALLER N°1 – LOGICA PROPOSICIONAL

    ¿Qué es la lógica proposicional?


    Es una lógica basada en proposiciones, estos son enunciados a los cuales se les puede dar un valor
    de verdad.

    ej.:

    a) 5+7= 12  es una proposición


    b) Tenga un día feliz  no es una proposición
    c) 15 es un numero primo  es una proposición
    d) ¿Estás bien?  no es proposición

    NOTA: No son proposiciones los interrogativos y los imperativos.

    Existen proposiciones simples y complejas, la diferencia entre ellas es que unas no tienen conectores
    lógicos y las otras si usan conectores lógicos

    Los conectores lógicos son:

    SIMBOLO SE LEE
    ˄ “Y”
    ˅ “O”
    → “Implica…” o “si, … entonces…”
    ↔ “Equivalente con …”, “si y solo si”
    ~ “no”

    Tablas de verdad:

    Conjunción (˄):
    Disyunción (˅):

    Implicación (→):

    Equivalencia (↔):

    Negación (~)
    1. Traduzca a lenguaje simbólico las siguientes proposiciones:
    a) Marcela Orellana es la Directora del Programa de Bachillerato de la USACH y Mago Valdivia
    es futbolista.
    b) Estudio o voy al cine.
    c) Si camino 10km., me canso.
    d) Me voy a mi pieza, pero no hago la tarea.
    e) J.K. Rowling es autora de “Animales fantásticos y dónde encontrarlos”, si J.K. Rowling
    escribió la saga de Harry Potter.

    SOLUCIÓN:

    a) P˄q
    b) P˅q
    c) P→q
    d) P~q
    e) p↔q

    2. Represente con la letra p a la proposición “ella tiene ojos azules” y con la letra
    q a la proposición “él tiene 45 años de edad”. Traduzca cada proposición a
    lenguaje coloquial usual.
    a) p∧∼ q
    b) ∼ p ∨ q
    c) ∼ (p ⇒∼ q)

    d) p ⇐∼ q
    e) ∼ (∼ p ⇔∼ q)

    SOLUCIÓN:

    a) Ella tiene los ojos azules y él NO tiene 45 años de edad.


    b) Ella NO tiene los ojos azules o él tiene 45 años de edad.
    c) NO es cierto que, si ella tiene los ojos azules IMPLICA que él no tiene 45 años de edad.
    d) Si él NO tiene 45 años de edad IMPLICA que ella tiene los ojos azules.
    e) NO es cierto que, si ella no tendrá los ojos azules SI Y SOLO SI él no tiene 45 años de edad.
    3. Dadas las proposiciones:
    p: el triángulo es polígono de tres lados.
    q: el triángulo de tres lados congruentes es equilátero.

    3.1. Escribe en lenguaje coloquial usual las siguientes proposiciones:

    a) ∼ p c) p ⇒∼ q
    b) p∨∼ q d) ∼ (∼ p) ⇔∼ q

    3.2. Escribe usando conectivos lógicos y las proposiciones p y q lo siguiente:


    i) No es cierto que, el triángulo es un polígono de tres lados.
    ii) Si el triángulo es un polígono de tres lados, entonces es falso que, el triángulo de tres
    lados es equilátero.

    Ejercicio:

    Tautología: Valores de la tabla de verdad son verdaderos.


    Contradicción: Valores de la tabla de verdad son falsos.

    Contingencia: Valores de la taba de verdad son verdaderos y falsos


    4. Determine si las siguientes proposiciones son Tautología, Contradicción o
    ninguna de las dos.
    a) (p ∧ q) ⇒ (p ∨ q) h) (p ⇒ q) ∧ (∼ q ∧ p)
    b) (p ⇒ q) ∧ (∼ p ⇔ q) i) (p ∧ q) ∧ (∼ p∨∼ q)
    c) (p ⇒ q) ⇔ (∼ p ⇒∼ q)
    j) p ∨ (p ∧ q)
    d) (p ∧ r) ⇔ (q ∨ r)
    k) [p ⇒ (q ⇒ r)] ⇔ [(p∧∼ r) ⇒∼ q]
    e) [(p ∧ q) ∨ p] ⇔ p
    f) (p ⇒ q) ⇔ (∼ q ⇔∼ p) l) [[(p ∧ q) ∨ r] ∧∼ q] ∨ q ⇒ r ∨ q
    g) (p ∨ q) ⇒ (p ∧ q) m) [p ⇒ (q ∧ (∼ q))] ⇒∼ p

    RPTAS:
    a) contingencia
    b) contingencia
    c) contingencia
    d) contingencia
    e) tautología
    f) contingencia
    g) contingencia

    También podría gustarte