PROPOSICIONES/T. DE VERDAD/O. LÓGICOS/F.PROPOSICIONALES/IMP.EQUIVA

                                         [pic 1]

          UNIVERSIDAD DE GUAYAQUIL[pic 2][pic 3][pic 4]

          VICERRECTORADO DE FORMACIÓN

          ACADÉMICA Y PROFESIONAL

          DIRECCIÓN DE ADMISIÓN Y NIVELACIÓN

                                             FACULTAD DE CIENCIAS ADMINISTRATIVA

ASIGNATURA: MATEMÁTICAS                       FECHA: 05-15 NOV. DEL 2019                                  [pic 5]

TEMA: PROPOSICIONES/T. DE VERDAD/O. LÓGICOS/F.PROPOSICIONALES/IMP.EQUIVA.

DOCENTE:ING. ALBA PINCAY ÁVILA     UNIDAD: 1         PARALELO:                                    

                                                                TALLER # 1 Y2        

 GRUPO #: ......                                                                         INTEGRANTES:  [pic 6]

ESTIMADOS ESTUDIANTES EL TALLER TIENE UNA DURACIÓN DE 8 HORAS. VALOR 10 PUNTOS

1. HALLAR EL VALOR DE VERDAD DE LAS SIGUIENTES FORMAS PROPOSICIONALES I, II Y III, CONSIDERANDO QUE:                                                                                                 

SEAN p, q, r y s PROPOSICIONES TALES QUE:

¬ p → q  es verdadera.

¬ q→(r ˄ s )  es falsa, y  “s” es verdadera.

1. [pic 7]
2. [pic 8]
3. [pic 9]

1. I=V; II=F; III=V
2. I=F; II=V; III=V
3. I=F; II=V; III=F
4. I=V; II=V; III=V

2. RESOLVER LA SIGUIENTE FORMA PROPOSICIONAL E INDICAR SI SE TRATA DE UNA CONTINGENCIA, CONTRADICCIÓN O TAUTOLOGÍA.                                                

[pic 10]

3. TRADUCIR AL LENGUAJE FORMAL LA SIGUIENTE PROPOSICIÓN:

APROBARÉ MATEMÁTICAS, SI DIOS QUIERE. APROBARÉ MATEMÁTICAS SI Y SOLO SÍ ESTUDIO Y HAGO TODOS LOS EJERCICIOS. SIN EMBARGO, NO HE HECHO MUCHOS EJERCICIOS, ASÍ QUE DIOS NO QUIERE QUE APRUEBE MATEMÁTICAS:

4. APLICANDO LAS LEYES LÓGICAS RESOLVER LAS SIGUIENTES PROPOSICIONES Y COMPROBAR LAS RESPUESTAS.

1. [(p V  ¬ q) Ʌ q ]  → p  respuesta    1

1. (p Ʌ  ¬ q) → (q V r)       respuesta  ( p →  q)  V r
2. (p ↔ q) V p               respuesta (p v ¬ q)        
3. ¬[¬(p v q) v (¬p Ʌ q)]  v  (¬p Ʌ q)    respuesta (p v q)  
4. [¬ ( p →  q)  → ¬(q → p)]  Ʌ (p V q)       respuesta  q
5. q V ¬ [¬(p Ʌ q) → ¬ q]         respuesta  q
6. (¬ p Ʌ q) → (q → p)            respuesta (p v ¬ q)
7. ¬[¬(p Ʌ q)   →  ¬q]  v  p    respuesta (p v q)  
8. [¬(p V q) v (p V  ¬r)] →    [r Ʌ (r V ¬t)]                             respuesta r
9. [q Ʌ (q → ¬p)] →  ¬ (p Ʌ q)     respuesta T     (TAUTOLOGÍA =T)
10. (q Ʌ  p) V  ¬(¬p V q)       respuesta  p

5. LA FORMA PROPOSICIONAL EQUIVALENTE A  es:[pic 11]

a) q   p        b) p ∧ q        c) q  p        d) q ∧ p        e) p  q[pic 12][pic 13][pic 14][pic 15]

6. DETERMINE SI EL SIGUIENTE RAZONAMIENTO ES VÁLIDO:

“SI PABLO RECIBIÓ EL E-MAIL, ENTONCES TOMÓ EL AVIÓN Y ESTARÁ AQUÍ AL MEDIODÍA. PABLO NO TOMÓ EL AVIÓN. LUEGO, PABLO NO RECIBIÓ EL E-MAIL”.

7. INDIQUE SI CADA ENUNCIADO ES O NO UNA PROPOSICIÓN:

a) 7415 es un número par.si

...