Usuario:Camilo maldonado/ejercicio 7 capitulo 2 pagina 116

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Para el universo de los enteros, sean p(x), q(x), r(x), s(x), t(x) las siguientes proposiciones abiertas.

                 p(x): x > 0
                 q(x): x es par 
                 r(x): x es un cuadrado perfecto
                 s(x): x es exactamente divisible entre 4
                 t(x) : x es exactamente divisible entre 5
      a)Escriba las siguientes proposiciones en forma simbólica.
           1) Al menos un entero es par:     
                 Эx [q(x)]
           2) Existe al menos un entero positivo que es par:  
                 Эx [p(x)q(x)]
           3) Si x es par, entonces x no es divisible entre 5:  
                 [q(x) ¬t(x)]
           4) Ningún entero par es divisible entre 5:     
                 ¬q(x)[t(x)]
           5) Existe al menos un entero par divisible entre 5:    
                 Эx[q(x)   t(x)]
           6) Si x es par y x es un cuadrado perfecto,     
              entonces x es divisible entre 4
              [q(x)   r(x) s(x)]
      b)Exprese en palabras cada una de las siguientes 
        representaciones simbolicas.  
            1)  ∀x[r(x)  p(x)]:      Todo 
                cuadrado perfecto tiene que ser un entero         
                positivo.
            2)  ∀x[s(x)  q(x)]:       
                Todo número divisible entre 4 tiene que ser par.
            3)  ∀x[s(x) ¬t(x)]:        
                Todo número divisible por4,implica
                que no tiene que ser divisible 
                por 5.  
            4)  Эx [s(x) ¬p(x)]:        Existe 
                algún número divisible por 4 y que no es positivo.
            5)  [¬r(x)  ¬q(x)
                  s(x)]:   Todo 
                numero enetro, ni es cuadrado 
                perfecto, ni par o divisible por 4.