nada

TALLER DE LÓGICA UNDÉCIMO
1) Determinar si cada una de las siguientes afirmaciones es una proposición:
a) 1 + 8 = 10
b) La suma de dos enteros es un entero
c) Medellín está en el departamento deAntioquia
d) Los extraterrestres no existen
e) Sumar dos números naturales.
f)
g) Existe algún número real x que verifica la ecuación: x 4 + x 2 + 7 = 0
2) Supongamos que p, q y r representan lassiguientes proposiciones: p: 2 es par;
q: 3 es primo; r: 5 es par. Traducir al lenguaje natural las siguientes expresiones:
a) q ┐p b) ┐p q c) ┐p ┐q d) ┐ ( r p)
e) ┐ (q ┐r)
3) Sirepresentamos con p: 4 es múltiplo de 2, q: 6 es divisible por 3 y r: 5 es
divisible por 2. Representar en forma simbólica los enunciados dados a
continuación:
a) 4 es múltiplo de 2 o 6 es divisible por3
b) 6 es divisible por 3 y 5 no es divisible por 2
c) No es cierto que, 6 es divisible por 3 y 5 es divisible por 2
d) No es verdad que, 5 no es divisible por 2 y 4 es múltiplo de 2
4)Representar en forma simbólica las siguientes proposiciones:
a) El cielo está parcialmente nublado y la temperatura es de 18ºC .
b) El presidente o el vicepresidente darán un discurso.
c) El avión despegaráaunque se desate la tormenta.
d) El número 4 es mayor que 0 pero el -4 no lo es.
e) No es cierto que Juan y Daniela sean novios.
f) No es verdad que, el triángulo ABC sea rectángulo o isósceles.5) Suponiendo que p es verdadera, q es falsa y r es falsa, determinar el valor de
verdad de las siguientes expresiones:
a) (pq ) r
b) (p ┐q ) r c) ┐ ( r p ) q
6) i) Confeccionar lastablas de verdad de las siguientes fórmulas y armar sus
circuitos lógicos:
a) p ┐p b) ┐p ┐q c) ┐ (p q) d) (p ┐q ) r e) ┐r (q r)
ii) ¿Qué puede observar de particular en la tablacorrespondiente a la fórmula de
a)? ¿y en la de e)? ¿Puede establecer alguna relación entre las fórmulas de los
incisos b) y c) a partir de la observación de sus tablas?
7) Sin usar la tabla de verdad...