Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 19 vistas

    Ar-T02-Logica Proposiccional - Muni

    Cargado por

    Jon BS
    El documento presenta una introducción a la lógica proposicional. Define conceptos clave como proposiciones, variables proposicionales y conectores lógicos. Explica que las proposiciones pueden ser verdaderas o falsas y da ejemplos. También describe los diferentes tipos de conectores lógicos y cómo estos pueden combinarse para formar proposiciones compuestas. Finalmente, introduce las tablas de verdad como una herramienta para evaluar los valores de verdad de las proposiciones compuestas.

    Copyright:

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

    Ar-T02-Logica Proposiccional - Muni

    Cargado por

    Jon BS
    19 vistas18 páginas
    El documento presenta una introducción a la lógica proposicional. Define conceptos clave como proposiciones, variables proposicionales y conectores lógicos. Explica que las proposiciones pueden ser verdaderas o falsas y da ejemplos. También describe los diferentes tipos de conectores lógicos y cómo estos pueden combinarse para formar proposiciones compuestas. Finalmente, introduce las tablas de verdad como una herramienta para evaluar los valores de verdad de las proposiciones compuestas.

    Descripción original:

    arit 1

    Título original

    AR-T02-LOGICA PROPOSICCIONAL - MUNI

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPTX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta una introducción a la lógica proposicional. Define conceptos clave como proposiciones, variables proposicionales y conectores lógicos. Explica que las proposiciones pueden ser verdaderas o falsas y da ejemplos. También describe los diferentes tipos de conectores lógicos y cómo estos pueden combinarse para formar proposiciones compuestas. Finalmente, introduce las tablas de verdad como una herramienta para evaluar los valores de verdad de las proposiciones compuestas.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    19 vistas18 páginas

    Ar-T02-Logica Proposiccional - Muni

    Cargado por

    Jon BS
    El documento presenta una introducción a la lógica proposicional. Define conceptos clave como proposiciones, variables proposicionales y conectores lógicos. Explica que las proposiciones pueden ser verdaderas o falsas y da ejemplos. También describe los diferentes tipos de conectores lógicos y cómo estos pueden combinarse para formar proposiciones compuestas. Finalmente, introduce las tablas de verdad como una herramienta para evaluar los valores de verdad de las proposiciones compuestas.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    Está en la página 1de 18

    ARITMETICA

    CAPÍTULO LOGICA PROPOSICIONAL

    TEMA

    OPERADORES LOGICOS –Valores de


    verdad
    LOGICA PROPOSICIONAL
    ENUNCIADO: Toda oración o frase que se utiliza en el lenguaje.

    PROPOSICION: Es todo enunciado que tienen la propiedad de ser


    verdadera(V) o falsa(F)
    Observación:

    Ejemplos: No son proposiciones:


    - ¿Qué hora es?
    - Hoy amaneció nublado. - ¡Ayúdame en mi tarea!
    - La capital del Perú es Cuzco. - 3x - 4 > 0
    - x+2 > 5 , si x = 4 - Harry Potter es un maestro mago
    - Supermán es mi amigo
    - Ojalá que mañana me gane la TINKA
    LOGICA PROPOSICIONAL
    TIPOS DE PROPOSICIONES:

    VARIABLES PROPOSICIONALES:
    Son los símbolos que representan a las proposiciones simples. Siempre se definen positivamente
    Ejm: p : Álvaro es un niño ; q: Álvaro es travieso.
    Álvaro NO es travieso  q: Alvaro es travieso; Pero se representa : ~q
    CONECTORES LOGICOS:
    Son los símbolos que se utilizan para relacionar proposiciones. Es decir, forman
    proposiciones compuestas a partir de proposiciones simples.
    Ejm: p Ʌ q :Álvaro es un niño y es travieso . Donde “Ʌ” es el conector lógico “y”
    LOGICA PROPOSICIONAL

    (DEBIL)

    (FUERTE)

    Ejm: p: A es responsable; q:A es travieso Siempre p, q, r . . . debe estar definido de forma positiva
    Álvaro es responsable o no es travieso. p v ~q (pueden ser ambos V o uno de ellos; o= a menos que)
    Álvaro es responsable pero no es travieso. p Ʌ ~q ( pero = y = también=ademas=aunque =…)
    O Álvaro es responsable o es travieso. p ∆ q (no pueden ser ambos V; o_o = o bien_o bien)
    Si Álvaro es responsable, no es travieso. p  ~q (si_ entonces=si_por lo tanto =…)
    Álvaro es responsable si solo si es travieso. p ↔ q (cuando y solo cuando; siempre y solo siempre…
    Alvaro es travieso porque no es responsable ~ p  q (Porque = Pues = luego que= ya que…)
    Si Alvaro no es responsable, entonces es travieso
    LOGICA PROPOSICIONAL

    Tabla de verdad.
    Es una tabla que muestra los valores de verdad de una proposición compuesta, para
    cada combinación de sus valores (V o F) que se le pueda asignar .

    El número de
    combinaciones o =
    filas
    LOGICA PROPOSICIONAL
    VALORES DE VERDAD DE LOS CONECTORES LOGICOS

    Ejm: Halle la tabla de verdad de:


    (p Ʌ ~q)  (q v p) p q (p Ʌ ~q)  (q v p)
    FvF=F V V Posibles resultados:
    V F F V V V V
    VvF=V V F V V V V F V V
    Absoluta V: Tautología
    FɅV=F F V F F F V V V F
    Absoluta F: Contradicción
    F F V V F F F
    V Ʌ V= V F F Combinado: Contingencia
    FV= V
    Es una tautología
    ARITMETICA
    PRACTICA DIRIGIDA

    PROBLEMAS DE APLICACION
    LOGICA PROPOSICIONAL

    Solo II y IV son proposiciones

    Rpta: 2
    LOGICA PROPOSICIONAL

    p → ∼q es falsa q ∆ r es verdadera r ∆ t es verdadera

    p=V
    q=V
    r=F
    OJO: es recomendable comenzar con la t=V
    proposición compuesta de caso único

    Rpta: VVFV
    LOGICA PROPOSICIONAL

    F→V=V
    ~(F ↔ F) = ~ V = F
    VvF=V

    OJO:
    no es verdad que
    Negacion global : ~ ( … )
    no es cierto que
    Rpta: VFV
    es falso que
    LOGICA PROPOSICIONAL

    Comenzamos con
    2do bloque:
    𝑟=V
    [(𝑠 ↔ 𝑝) ∆ 𝑟] ∨ (𝑝 ∧ 𝑞) [(𝑝 → 𝑞) ∨ ∼ 𝑟]
    F p=V
    V V F
    V q=F
    F
    V F s=F

    V
    OJO: es recomendable comenzar con la Rpta: VFF
    proposición compuesta de caso único
    LOGICA PROPOSICIONAL

    [~ 𝑝  ~(q Ʌ p)] Ʌ ( p  q )

    p
    q p Otro caso: Simbolizar sin variables previamente definidas

    p q

    Solución: Se define:
    p : El hombre es bueno
    q : El perro es fiel
    OJO:
    no es verdad que Negacion global : ~ ( … [~
    ) 𝑝  ~(q Ʌ p )] Ʌ ( p  q )
    no es cierto que
    es falso que
    Rpta: B
    LOGICA PROPOSICIONAL
    El número de
    combinaciones o
    filas = 2^3 = 8
    p q r (p ↔ q)  (r ∆ ~ p)
    V V V V V V V VV F
    V V F V V V F F F F
    V F V V F F V VV F
    V F F V F F V F F F
    F V V F F V V VF V
    F V F F F V V F V V
    F F V F V F F VF V
    F F F F V F V F V V

    Rpta: V=6; F=2


    LOGICA PROPOSICIONAL
    No es el caso= no es cierto que : negación de un grupo.
    Colocar ~ ( _______ )

    p
    q

    p r
    ~ ( p Ʌ q) (r v ~ p)

    Rpta: D
    LOGICA PROPOSICIONAL
    [𝑝(3) Ʌ r(5)]  [ q(4) v r(2) ]
    V V F F
    V F
    F

    F
    V Resolviendo los demás …
    F

    Rpta: FVF
    LOGICA PROPOSICIONAL
    p=V

    [(~ p v q) (q ↔r)] v (q Ʌ s)


    V
    F V V F V F
    V F
    F F
    F

    q=V
    r=F
    s=F

    Rpta: VFF
    LOGICA PROPOSICIONAL
    VF = F
    F V
    V
    F F
    V
    V
    ? V

    Rpta: VVV
    ARITMETICA

    FIN DE LA SESIÓN
    Recuerda repasar lo aprendido

    También podría gustarte