TALLER EVALUATIVO LOGICA MATEMATICA – ING DE SISTEMA

FACULTAD DE INGENIERÌA

TALLER EVALUATIVO LÒGICA MATEMÀTICA

DOCENTE:

LEONARDO ACOSTA

INTEGRANTES:

JESUS ASSIA

RAMIRO CHAMORRO SALCEDO

LUIS CARLOS SÁNCHEZ

ING. SISTEMAS

SEMESTRE 1

CORPOSUCRE

2018

 TALLER EVALUATIVO LOGICA MATEMATICA – ING DE SISTEMA

                                      LOGICA PROPOSICIONAL

1. Indica cuales de los enunciados son proposiciones  e indica su valor de verdad.

1. 13-25 = 12

R/.  Es una proposición. F 

           B. 9  es un número cuadrado.

                R/. Es una proposición. V

           C.  ¿dónde estás?

                R/.   No es una proposición

           d. Hanói es la capital de Vietnam

                R/.  Es una proposición. V

           e. ¡Qué lindo día!

               R/.  No es una proposición.

1. Niega cada proposición y escribe el valor de verdad de la proposición y de su negación.

1. p: Júpiter es una estrella. F

  ~P: júpiter no es una estrella. V 

b. q: el 35 es un número primo. F

   ~q: el 35 no es un número primo. V

c. r: 36 es múltiplo de 9.  V

   ~r: 36 no es múltiplo de 9.  F

d. t: 53 + 7 = 0.  F

   ~t: 53 + 7  no es  = 0.  V

    e. s: Canadá es un continente.   F

       ~S: Canadá no es un continente.   V

3. Determina el valor de verdad de las siguientes proposiciones simples.

    A. s: 67 es un número primo.  V

    B. t: 2 no es un número impar. V

    C. u: 23 es múltiplo de 6.  F

    D. v: (54-9)>3.  V

4. Con las proposiciones simples del punto anterior, escribe las proposiciones                                           compuestas y determina su valor de verdad (es decir si es verdadero o falso).

   A.  s => t

      R/.  Si 67 es un número primo entonces 2 no es un número impar.  V  

  B.  ~u <=> v

      R/. 23 no es múltiplo de 6 si y solo si (54-9)>3. F

  C. s V ~v

       R/.  67 es numero primo o (54-9) <3.   V

...