TALLER HERRAMIENTAS DE LOGICA COMPUTACIONAL

STEVEN CUERVO,

POLITECNICO GRANCOLOMBIANO

2020-2
1. Para las siguientes proposiciones establezca una fórmula simbólica que la
represente.

 Todos los números naturales son pares o impares.

 Para cada persona existe un número de identificación y todos los mayores

de edad tienen cédula.

 Hay mamíferos que vuelan, pero no hay peces que caminen.

 Si todos colaboran en el salón, todos salen más temprano.

 Todos los jugadores recibieron una medalla.

2. En los siguientes casos determine la negación de las proposiciones

mostradas.
3. Si P(x) es x tiene casa, Q(x) es x viaja al mar y R(x) es a x le gusta por
tierra. Determine una frase en lenguaje cotidiano que represente las
siguientes proposiciones.

4. Determine las negaciones de las proposiciones del punto anterior, tanto

en lenguaje cotidiano como en lenguaje simbólico.