Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 57 vistas

    Copia de Mipm U1 A3 v1 Elgt

    Cargado por

    Luisa Mee 666
    Este documento presenta una actividad de aprendizaje sobre operaciones proposicionales y lenguaje formal para una asignatura de Introducción al Pensamiento Matemático. Incluye ejemplos de simbolización de proposiciones en lenguaje formal y el uso de tablas de verdad para determinar si son tautologías, contradicciones o contingencias. También incluye ejercicios adicionales sobre operadores lógicos resueltos mediante tablas de verdad.

    Copyright:

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

    Copia de Mipm U1 A3 v1 Elgt

    Cargado por

    Luisa Mee 666
    57 vistas7 páginas
    Este documento presenta una actividad de aprendizaje sobre operaciones proposicionales y lenguaje formal para una asignatura de Introducción al Pensamiento Matemático. Incluye ejemplos de simbolización de proposiciones en lenguaje formal y el uso de tablas de verdad para determinar si son tautologías, contradicciones o contingencias. También incluye ejercicios adicionales sobre operadores lógicos resueltos mediante tablas de verdad.

    Descripción original:

    Copia de Mipm u1 a3 v1 Elgt

    Título original

    Copia de Mipm u1 a3 v1 Elgt

    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?

    Este documento presenta una actividad de aprendizaje sobre operaciones proposicionales y lenguaje formal para una asignatura de Introducción al Pensamiento Matemático. Incluye ejemplos de simbolización de proposiciones en lenguaje formal y el uso de tablas de verdad para determinar si son tautologías, contradicciones o contingencias. También incluye ejercicios adicionales sobre operadores lógicos resueltos mediante tablas de verdad.

    Copyright:

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

    Copia de Mipm U1 A3 v1 Elgt

    Cargado por

    Luisa Mee 666
    Este documento presenta una actividad de aprendizaje sobre operaciones proposicionales y lenguaje formal para una asignatura de Introducción al Pensamiento Matemático. Incluye ejemplos de simbolización de proposiciones en lenguaje formal y el uso de tablas de verdad para determinar si son tautologías, contradicciones o contingencias. También incluye ejercicios adicionales sobre operadores lógicos resueltos mediante tablas de verdad.

    Copyright:

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

    Universidad Abierta y a Distancia de México

    Licenciatura en Matemáticas

    Primer semestre

    Programa de la asignatura:
    Introducción al Pensamiento Matemático

    Unidad 1. Lógica Proposicional

    Actividad de aprendizaje 3 (Tarea)


    Operaciones proposicionales y lenguaje formal

    Docente: Ingeniero Ángel Raya Vargas

    I.
    OPERACIONES PROPOSICIONALES Y LENGUAJE FORMAL

    I. Simboliza las siguientes proposiciones en lenguaje formal y determina,


    por medio de una tabla de verdad, si se trata de una contradicción, una
    tautología o una contingencia.

    1. “Claudia le dice a Víctor: si nos casamos y no terminamos, entonces


    nos casamos o no hay fiesta.”

    Sean p , q , r proposiciones lógicas tales que:


    p= Nos casamos
    q= Terminamos
    r= Hay fiesta

    ( p ˄¬ q)→( p ˅¬ r )

    p q r ¬q ¬r ( p ˄¬ q) ( p ˅¬ r) ( p ˄¬ q)→( p ˅¬ r )

    V V V F F F V V

    V V F F V F V V

    V F V V F V V V

    V F F V V V V V

    F V V F F F F V

    F V F F V F V V

    F F V V F F F V

    F F F V V F V V

    Es una tautología.

    2. Mariana le dice a Juan que si se casa con ella, entonces se pondrá feliz y
    Mariana se pone feliz, entonces Juan se casará con ella.

    Sean p , q dos proposiciones lógicas tales que:

    p: Juan se casa con Mariana

    q: Mariana se pone feliz


    ( p → q)˄(q → p)

    p q ( p → q) (q → p) ( p → q)˄(q → p)
    V V V V V

    V F F V F

    F V V F F

    F F V V V

    Es una Contingencia.

    3.Luis le dice a su hijo que lo llevará al parque y a comer una hamburguesa,


    pero que no lo llevará al parque o a comer una hamburguesa.

    Sean p y q las siguientes proposiciones:

    p= Luis llevar a su hijo al parque

    q= Luis llevara a su hijo a comer una hamburguesa

    ( p ∧q) ∧(¬ p ∨q)

    p q ¬p ( p ∧q) (¬ p ∨ q) ( p ∧q) ∧(¬ p ∨q)

    V V F V V F

    V F F F F F

    F V V F V F

    F F V F V F

    Es una contradicción.

    II. Determina el valor de verdad de las siguientes proposiciones por medio


    de una tabla de verdad.

     P  (Q (R S)) R  (P (Q S))


    P Q R S (Q(RS)) (P(QS)) P(Q(RS)) RP(QS)) P(Q(RS))R(P(QS))

    V V V V V V V V V

    V V V F F F F F V

    V V F V V V V V V

    V V F F V F V V V

    V F V V V V V V V

    V F V F V V V V V

    V F F V V V V V V

    V F F F V V V V V

    F V V V V V V V V

    F V V F F V V V V

    F V F V V V V V V

    F V F F V V V V V

    F F V V V V V V V

    F F V F V V V V V

    F F F V V V V V V

    F F F F V V V V V

     P Q ↔ P ⋁ Q

    P Q P Q P ⋁ Q P Q ↔ P ⋁ Q

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

     P ⋁ Q ↔ P Q

    P Q P⋁Q P Q P ⋁ Q ↔ P Q

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

     (P Q) R,  (P Q) R P ∧ Q

    P Q R (PQ) (PQ)R (PQ) (PQ)R P∧Q (PQ)RP∧Q (PQ)R,(PQ)RP∧ Q

    V V V V V F F F V F

    V V F V F F F F V F

    V F V F V V F F V F

    V F F F V V V F F F

    F V V V V F F F V F

    F V F V F F V F V F

    F F V V V F F V V V

    F F F V F F V V V F

     PQ, P R
    P Q R P PQ P R PQ, P R

    V V V F V V V

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

    V F F F F V F

    F V V V F V F

    F V F V F F F

    F F V V F V F

    F F F V F F F

     PQ, PQ P

    P Q PQ PQ PQ P PQ, PQ P

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

    Referencias:

    Kisbye, P. (2008). Elementos de lógica y teoría de conjuntos. Colombia. Recuperado de:


    http://ocw.unc.edu.ar/facultad-de-matematica-astronomia-y-fisica/cursillo-deingreso/
    actividades-y-materiales/elementos-de-logica-y-teoria-de-conjuntos

    Suppes, P. (1988). Primer curso de Lógica matemática. Colombia: editorial Reverté.


    Villalobos, N. (2006). Lógica proposicional. Venezuela.
    http://webatario.blogspot.com/2008/02/proposicin-lgica.html

    También podría gustarte