Science & Mathematics > Psychology">
Nothing Special   »   [go: up one dir, main page]
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 271 vistas

    Trabajo Proposiciones Lògicas

    Cargado por

    Ruben Ochoa bustamante
    Este documento presenta información sobre proposiciones lógicas. En primer lugar, clasifica diferentes enunciados como proposiciones o no. Luego, simboliza varias proposiciones usando variables proposicionales y conectivos lógicos. Finalmente, realiza tablas de verdad para evaluar esquemas moleculares compuestos y determina sus valores de verdad bajo diferentes valuaciones de las variables. En resumen, el documento introduce conceptos básicos de lógica proposicional a través de ejemplos prácticos de simbolización

    Copyright:

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

    Trabajo Proposiciones Lògicas

    Cargado por

    Ruben Ochoa bustamante
    271 vistas7 páginas
    Este documento presenta información sobre proposiciones lógicas. En primer lugar, clasifica diferentes enunciados como proposiciones o no. Luego, simboliza varias proposiciones usando variables proposicionales y conectivos lógicos. Finalmente, realiza tablas de verdad para evaluar esquemas moleculares compuestos y determina sus valores de verdad bajo diferentes valuaciones de las variables. En resumen, el documento introduce conceptos básicos de lógica proposicional a través de ejemplos prácticos de simbolización

    Descripción original:

    Título original

    TRABAJO PROPOSICIONES LÒGICAS.docx

    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 información sobre proposiciones lógicas. En primer lugar, clasifica diferentes enunciados como proposiciones o no. Luego, simboliza varias proposiciones usando variables proposicionales y conectivos lógicos. Finalmente, realiza tablas de verdad para evaluar esquemas moleculares compuestos y determina sus valores de verdad bajo diferentes valuaciones de las variables. En resumen, el documento introduce conceptos básicos de lógica proposicional a través de ejemplos prácticos de simbolización

    Copyright:

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

    Trabajo Proposiciones Lògicas

    Cargado por

    Ruben Ochoa bustamante
    Este documento presenta información sobre proposiciones lógicas. En primer lugar, clasifica diferentes enunciados como proposiciones o no. Luego, simboliza varias proposiciones usando variables proposicionales y conectivos lógicos. Finalmente, realiza tablas de verdad para evaluar esquemas moleculares compuestos y determina sus valores de verdad bajo diferentes valuaciones de las variables. En resumen, el documento introduce conceptos básicos de lógica proposicional a través de ejemplos prácticos de simbolización

    Copyright:

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

    “AÑO DE LA DIVERSIFICACION PRODUCTIVA Y

    FORTALECIMIENTO DE LA EDUCACION "

    ESCUELA DE INGENIERIA CIVIL

    FACULTAD : INGENIERIA CIVIL

    DOCENTE : Lic. Presbítero VASQUEZ MEJIA

    ESTUDIANTE : rubén OCHOA BUSTAMANTE

    ASIGNATURA : FISICA

    TEMA : VECTORES

    FECHA : 11/09/2015

    UNIVERSIDAD CESAR VALLEJO

    MOYOBAMBA _ Perú
    2015
    PROPOSICIONES LÒGICAS
    I. Escribe en los paréntesis si el enunciado o proposición.
    1) 35 - 17 = 18 …………………………. (ENUNCIADO)

    2) 2 + 5 > 3 ………………………………. (ENUNCIADO)

    3) ¿Estudias matemática? ……………. (PROPOSICION)

    4) 9 es un número primo……………….. (PROPOSICION)

    5) ¡Eres Grande Perú! …………………. (ENUNCIADO)

    6) 27 –X = 40 ……………………. (ENUNCIADO)

    II. Simbolizar las proposiciones siguientes lógicos haciendo uso de las variables
    proposicionales y de los conectivos.
     Es falso que este auto sea mío y n o sea de mi hermana.
    p: El auto es mío ∼ (p  ∼q)
    q: El auto es mi hermana

     Ana esta triste porque repitió el curso.


    p: Ana esta triste p q
    q: Ana repitió el curso

     Si no llueve, no nos quedaremos en casa.


    p: Llueve ∼p ∼q
    q: Nos quedamos en casa

     Si ayudaron a las víctimas, no hay indiferencia.


    p: Ayudamos a las victimas p ∼q
    q: Hay indiferencia

     Él tiene mala fama pero la tuya no es de mejor.


    p: Él tiene mala fama p  ∼q
    q: La tuya es mejor

     Si el agua es clara entonces Pedro puede ver el fondo del estanque.


    p: El agua es clara p q
    q: Puede ver el fondo del estanque

     Puedes ir al cine si terminas de pintar el cuarto.


    p: Puedes ir al cine q p
    q: Terminas de pintar el cuarto
     Ni los buenos deseos ni los buenos pensamientos aliviaran tu suerte.

    p: Los buenos deseos alivian tu suerte ∼p  ∼ q

    q: Los buenos pensamientos alivian tu suerte

     Seré un buen profesional si estudio con ahínco y sirvo a mi patria.


    p: Seré un buen profesional (q p)  r
    q: Estudio con ahínco
    r: Sirvo a mi patria

     No se dará el caso que vaya a patinar y no me rompa una pierna.


    p: Me voy a patinar ∼ (p  ∼q)
    q: Me rompo una pierna

     Luis está hospitalizado ya que sufrió un accidente.


    p: Luis sufrió un accidente q p
    q: Luis esta hospitalizado

     El que estudia lógica no está libre de cometer errores, pero tiene menos probabilidad
    de equivocarse.
    p: Estudia lógica (p ∼ q)  r
    q: Esta libre de cometer errores
    r: Tiene menos probabilidad de equivocarse

    III. Hallar la tabla de verdad de.

    1) [(p ⇒ q) (q ⇒ r)] ⇒( p ⇒ r)

    p q r [(p ⇒ q)  (q ⇒ r)] ⇒( p ⇒ r)
    V V V V V V V V V V V V V V
    V V F V V V V V F F V V F F
    V F V V F F F F V V V V V V
    V F F V F F F F V F V V F F
    F V V F V V V V V V F F V V
    F V F F V V F V F F V F V F
    F F V F V F F F V V V F V V
    F F F F V F F F V F V F V F
    2) [(p  q)   (r  s)] ⇒ p Vs

    p q r s [(p  q)   ( r  s)] ⇒p  Vs


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

    3) (p ⇒ ┒r) ↔  (s  ┒t) V q

    p q r s t (p ⇒ ┒r)↔ (s  ┒t) V q
    V V V V V V F F F V F F V V
    V V V V F V F F F V V V V V
    V V V F V V F F V F F F V V
    V V V F F V F F V F F V V V
    V V F V V V V V V V F F V V
    V V F V F V V V V V V V V V
    V V F F V V V V F F F F V V
    V V F F F V V V F F F V V V
    V F V V V V F F F V F F F F
    V F V V F V F F F V V V V F
    V F V F V V F F V F F F F F
    V F V F F V F F V F F V V F
    V F F V V V V V V V F F F F
    V F F V F V V V V V V V V F
    V F F F V V V V F F F F F F
    V F F F F V V V F F F V V F

    4) [P (p ⇒ q)] ⇒ P

    p q [P (p ⇒ q)] ⇒ P
    V V V V V V V V
    V F V V F F V V
    F V F F V V F F
    F F F F V F V F

    5) (p q) ↔  (∼q ⇒ ∼p) 6) ∼(p V q) ↔ ∼p ∼q


    p q (p  q) ↔ (∼q ⇒∼p) p q ∼(p V q) ↔ ∼p ∼q
    V V V V V F F V F V V F V V F F F
    V F V V F F V F F V F F V F V F V
    F V F V V F F V V F V V V V V V F
    F F F F F F V V V F F V V F F V V

    7) (p ⇒ r) V (∼p ⇒ q) 8) [(∼p q)⇒∼r] ↔ [r ∼(p V ∼q)]


    p q r (p ⇒ r) V (∼p ⇒ q) p q r [(∼p q)⇒∼r] ↔ [r∼(p V∼q)]
    V V V V V V V F V V V V V F V F F F V F F F
    V V F V F F F F V V V V F F V V V F F F F F
    V F V V F V V F V F V F V F F V F F V F V V
    V F F V F F F F V F V F F F F V V F F F V V
    F V V F V V V V V V F V V V V F F F V V V F
    F V F F V F V V V V F V F V V V V F F V V F
    F F V F V V V V F F F F V V F V F F V V V V
    F F F F V F V V F F F F F V F V V F F V V V

    9) [(p V ∼q) ⇒ r] V [(q ⇒ r) ∼r]

    p q r [(p V∼q) ⇒ r] V [(q ⇒ r) ∼r]


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

    IV. Si p= V, q= V, r= F. Halle el valor de verdad de los siguientes esquemas


    moleculares.
    a) (p q) (∼p V r) b) p q r
    V F V F
    F F

    c) (p ↔ ∼q) r d) ∼r  [p (r V q)]
    F F V V

    F V

    e) [(p q) (q  r)] ↔ ∼p f) (∼p V q) (∼r  q)

    V F F V V
    F F V
    V

    V. RESOLVER:

    1.- a) Si p es verdadera determinar el valor de verdad de ∼p q

    ∼p q

    F F
    F

    b) Si p es falsa p V q
    p V q p V q * Cuando q=V ò cuando q=F puede ser V o F
    F V F F
    V F

    c) Si p es falsa, entonces ∼p ↔ q es

      ∼p ↔q ∼p ↔q * Cuando q=V ò cuando q=F puede ser V o F

    V V V F
    V F

    d) Si la proposición (p  q) r es falsa, determinar el valor de las proposiciones.


    (p  q) r
    V F * Reduccion a lo absoluto
    p=V q=V r=F
    F

    d.1) (p ↔ r)  q d.2) (p ⇒q) V┒r d.3) (p V q)  r d.4) (┒r⇒┒p)  (q⇒ p)

    F V V V V F V V
    F V F V
    2.- Determinar el valor de verdad de las proposiciones p y q si se conoce la siguiente
    información.

    [(p V q)  ∼q] q es falsa y [( ∼p  ∼q) q]  (p V q) es verdadera

    V V F F V V V
    V F V V
    F V
    P=V q=F

    También podría gustarte