Álgebra y Geometría Analítica – Año 2009

GUÍA Nº 1

UNIDAD Nº 1: ELEMENTOS DE LA LÓGICA PROPOSICIONAL

1) Indique cuáles de las siguientes expresiones son proposiciones:

a) ¡Cuidado!
b) Todos los paralelogramos son cuadriláteros.
c) ¿Qué haces?
d) 7 es un número primo
e) Aristóteles fue uno de los filósofos más grandes de la antigüedad.

2) Dadas las siguientes proposiciones:

a) Si se hace pasar un ácido por papel tornasol, éste se vuelve rojo.
b) Si la madera fuera un metal, entonces sería maleable.
c) Sócrates es griego y filósofo.
d) No es cierto que, un triángulo sea isósceles y que los ángulos adyacentes a la base
sean distintos.
e) O, el átomo es divisible y eléctricamente neutro, o la velocidad es proporcional al
tiempo en el MRUV.
f) Una proposición es verdadera o falsa.
g) Argentina será un país desarrollado si y solo sí, se alcanza el nivel necesario en
educación.
h) Un número a es múltiplo de otro b si y solo sí, b dividido por a tiene como resto
cero.
i) 2 + 2 = 4 si y solo si 4 – 2 = 2 , y 2 + 3 = 5 si y solo si 5 – 3 = 2.
j) El aviador tuvo dificultades pero logro aterrizar a salvo.
k) En los días feriados el centro de la ciudad permanece desierto.
i) Señale con una C las proposiciones compuestas y con una S las proposiciones
simples.
ii) En cada proposición compuesta señale el conectivo lógico utilizado y la operación
asociada.
iii) Traduzca cada una de ellas al lenguaje lógico.

3) Dadas las siguientes proposiciones simples:

p : 5 es divisor de 20
q : 2 es racional
r : La radicación es distributiva respecto a la adición.
s : a2 – 2 a3 + 3 es un polinomio de 3º grado
i) Interprete en lenguaje coloquial (lenguaje corriente) las siguientes fórmulas.
a) q ⇔ r ∧ p b) p q∨s
c) (q ∧ r )∧ ~ p d) [(~ q ∨ s)∧ ~ p] ~ r
ii) De acuerdo al valor de verdad de cada una de las proposiciones simples determine el
valor de verdad para las fórmulas del ítem anterior.

4) Dé ejemplos de sustitución de las siguientes fórmulas proposicionales.

Ej: p ∧ ~ q Fuimos al zoológico, pero no vimos a los osos.
a) ~ q ∧ p b) r ∨ ( p ∧ q ) c) p q∨r
d) (~ p ∧ q) ∨ r e) p ~ q f) ~ (p ∧ ~ q)

FCEyT – UNSE 1
 Álgebra y Geometría Analítica – Año 2009

5) i) Determine el valor de verdad de q para que las siguientes proposiciones sean

verdaderas, sabiendo que p y r son V y F respectivamente.
a) ( p q) r b) ( p ∨ q ) ⇔ ( p ∧ q )
ii) p ∧ q es V, indique el valor de:
a) p ~q b) ~ (~ q ∨ p) c) ~ p q
iii) Si (p q)∨ ~ r es F, que valor de verdad tiene:
a) ~ p ∨ ~ q p b) p ∧ ~ q r c) ~ p ∧ ~ q r

6) Dadas las siguientes fórmulas:

a) ~ p ∨ (q ∧ r) b) p [q ~ (r ∧ s)]
c) p ⇔ (~ q ∨ r) d) p ~ (q ~ p)

Diga si es posible determinar su valor de verdad para:

* p verdadero * p falso
* p verdadero y q falso * p falso y q falso
* p verdadero y q verdadero * p falso y q verdadero

7) En los siguientes enunciados determine la condición necesaria y/o la condición

suficiente.
a) Si sigue el mal tiempo, no habrá partido de fútbol.
b) Este mes se iniciará la obra, si los arquitectos entregan los proyectos y se aprueba
el presupuesto.
c) Es necesario inscribirse en la F.C.E.yT. para cursar Álgebra y Geometría
Analítica.
d) Solo si apruebo los parciales, regularizo la materia.

8) Dadas las siguientes proposiciones:

a) Si un número es entero, es racional.
b) Si el antecedente es V y el consecuente es F, la implicación es F.
c) Dos rectas son ortogonales si sus pendientes son opuestas y recíprocas.
i) Expréselas en lenguaje simbólico empleando las proposiciones simples que la
componen.
ii) Formule simbólicamente y en lenguaje coloquial las implicaciones asociadas a las
dadas.
iii) Niegue las expresiones anteriores y traduzca al lenguaje coloquial.

9) Coloque paréntesis (si fuera necesario) para que la fórmula lógica corresponda a la
proposición que se indica en cada caso.
a) Condicional p∧q r∨ s
b) Conjunción p∧q r∨ s
c) Negación ~ p q∧r
d) Disyunción p q∨ r
e) Bicondicional p r ⇔q∨ r

10) i) Dadas las siguientes fórmulas, determine si son tautológicas, contradictorias o

contingentes:
a) p ∨ q p∧q b) ( ~ q ~ p) ∧ ( p ∧ ~ q) c) p ∧ q ⇔ q ∧ p

FCEyT – UNSE 2
 Álgebra y Geometría Analítica – Año 2009

ii) Determine si las siguientes fórmulas proposicionales corresponden a una tautología,

contingencia o contradicción.
a) Si no estudias, no aprobarás. Si estudias te premiarán. Por lo tanto, si apruebas te
premiarán.
b) Si estoy en Córdoba, no estoy en Tucumán y si estoy en Tucumán no estoy en
Córdoba. Por lo tanto, no se da el caso en que este en Córdoba y Tucumán.

11) Verifique las siguientes equivalencias:

a) p (q r) ≡ p ∧ q r b) p q ∨ r ≡ p ∧ ~ q r
c) La negación de la conjunción de dos proposiciones es igual a la disyunción de las
negaciones.

12) De las siguientes expresiones, indique cuáles son formas proposicionales y cuáles
son proposiciones.
a) Algunos números son primos.
b) x es divisor de 3.
c) y es un número impar.
d) Pedro es arquitecto.

13) Si A = {1, 2 , 3 , 4 , 5 } , determine si las proposiciones son V (verdaderas) o F (falsas)

a) ∃ x ∈ A / x + 3 = 10 b) ∀ x ∈ A : x + 3 < 10
c) ∃ x ∈ A / x + 3 = 5 d) ∀ x ∈ A : x + 3 ≤ 7

14) Sea P( x ) : x es un número entero, Q( x ) : x es un número racional , escriba en

lenguaje coloquial. En todos los casos U = IR
a) ∀x :~ Q(x ) b) ∀x : (P(x ) Q( x )) c) ∃ x : P(x )
d) ∃ x : P(x ) ∧ ∀ x : ~ Q( x ) e) ∀ x : ~ P(x ) ∃ x : Q(x ) f) ~ [∀x : P(x )]

15) Niegue las siguientes proposiciones.

a) ∀ x : p ( x) ∧ ~ q ( x) b) ∃ y / ~ p ( y ) q ( y )
c) ∃ t / p (t ) ⇔ q (t ) d) ∃ x / ( x > 2 ∧ x ≤ 9 ) x = 10

16) Usando cuantificadores en cada una de las siguientes proposiciones, abstraiga la

forma lógica, niegue la expresión cuantificada y traduzca al lenguaje corriente.
a) Hay estudiantes buenos y responsables. U = {x / x es estudiante}
b) Ningún pez vive fuera del agua. U = {x / x es pez}
c) Todos los números irracionales son reales. U = IR
d) Algunos números naturales pares son múltiplos de 3. U = IR
e) No todos los números son positivos U = IR

17) Recurrencia o Principio de Inducción Completa.

i) Usando el símbolo de , abrevie las siguientes sumas.
a) x1 + x 2 + ..... + x9 =
b) 2 + 4 + 6 + 8 + 10 + 12 =
c) 1 + 3 + 5 + 7 + 9 =
d) 1 + 4 + 9 + 16 + 25 + 36 =

FCEyT – UNSE 3
 Álgebra y Geometría Analítica – Año 2009

ii) Dadas las siguientes sumas;

• Desarróllelas
• Indique el tercer término de las mismas.
3
• Calcule
n =1
5 4
a) 3n − 2 b) 5 n −1
n =1 n =1

iii) Usando el P.I.C. pruebe la validez de las siguientes expresiones para cualquier n
natural.

a) 1 + 3 + 5 + ….. + (2n-1) = n2;

1− an
b) 1 + a + a2 + …. + an-1 =
1− a
n
1
c) 3i −1 = (3 n − 1)
i =1 2
n
1 1
d) i −1
= 2 − n −1
i =1 2 2

FCEyT – UNSE 4
 Álgebra y Geometría Analítica – Año 2009

Ejercitación adicional
1) Indique cuáles de las siguientes expresiones son proposiciones:
a) ¡Que alegría!
b) Cierra la puerta
c) Si mañana no vienes, voy a tu casa a la tarde.
d) Cauchy fue un gran matemático del siglo pasado.
e) 2 + 2 = 5 si y solo si 4 + 4 = 10

2) Dadas las siguientes proposiciones:

a) Si se alteran las condiciones atmosféricas de la Tierra, entonces se producirán
alteraciones paralelas en los organismos que la habitan.
b) Mercurio es una estrella, pero Venus es un planeta.
c) No ocurre que, el movimiento de un cuerpo es en la dirección de la fuerza
resultante.
d) O se protege la flora y la fauna de la zona costera, o se quebrará el equilibrio
ecológico.
e) La deserción escolar disminuirá si y solo sí se mejoran las condiciones de la
población y se moderniza la educación.
f) Una figura es un triángulo si y solo sí tiene tres lados.
g) Santa Fe está al Norte de Bs. As. o Bs. As. está al norte de Santa Fe.
h) Construyeron un dique para controlar las bruscas crecidas en primavera.
i) Señale con una C las proposiciones compuestas y con una S las proposiciones
simples.
ii) En cada proposición compuesta señale el conectivo lógico utilizado y la operación
asociada.
iii) Traduzca cada una de ellas al lenguaje lógico.

3) Dadas las siguientes proposiciones simples:

p : 0 es mayor que cualquier número negativo
q : 7 no es un número primo
1

r: 2 = 2
3 3

s : El rombo es un cuadrado
i) Interprete en lenguaje coloquial (lenguaje corriente) las siguientes fórmulas.
a) (~ p ∧ q ) ~ s b) ~ ( p ∨ q ) c) r ⇔ ( s ∧ ~ q)
d) ( p ∨ ~ q ) (~ r ∧ s ) e) ~ p [(q ∧ ~ s) ∨ r ] f) p ∧ r q∨s
g) ( p ∨ s )∧ ~ q h) p ∨ s ⇔ ~ r
ii) De acuerdo al valor de verdad de cada una de las proposiciones simples determine el
valor de verdad para las fórmulas del ítem anterior.

4) Sabiendo que:
i) Los valores de verdad de las proposiciones p, q, r, s son respectivamente V, F, F, V,
obtenga los valores de verdad de:
a) ~ p ∨ (r ∧ s ) b) p ∧ q ⇔ q
c) ~ ( p ∧ q ) (r ∨ ~ s ) d) r ~ p∨ s
ii) Determine el valor de verdad de q para que las siguientes proposiciones sean
verdaderas, sabiendo que p y r son V y F respectivamente.

FCEyT – UNSE 5
 Álgebra y Geometría Analítica – Año 2009

a) ( p ∧ q ) p ∨ r b) p ∧ (q r)
iii) p ∨ q es V y q es V, determine el valor de verdad de [( p ∨ q) ∨ q ] q
iv) Si (p q) q es F, que valor de verdad tiene:
a) r (p ~ q) b) p ∨ q q∧r c) ~ p ∧ ~ q p

5) Dadas las siguientes fórmulas:

a) (~ q ∨ r) ~ p b) [(~ q ∨ r ) ~ p] p
c) [ p ⇔ (~ q ∨ r )] [~ p ∨ (q ∧ r )] d) ~ [~ (q ∧ r) q ∨ ( r ∧ s )] ⇔ ~ p

Diga si es posible determinar su valor de verdad para:

* p verdadero * p falso
* p verdadero y q falso * p falso y q falso
* p verdadero y q verdadero * p falso y q verdadero

6) Determine el valor de verdad de cada fórmula.

a) p ∨ (~ p q) Cuando p es falso y q es falso.
b) ( p q )∨ ~ p Cuando p es verdadero y q es falso.
c) ( p ∧ q ) ∧ (~ p ∨ q) Cuando p es falso y q es falso.
d) (~ p ∧ ~ q) q Cuando p es verdadero y q es falso.
e) ( p ∧ ~ q) ∨ (~ p ∧ q) Cuando p es falso y q es verdadero.

7) En los siguientes enunciados determine la condición necesaria y/o la condición

suficiente.
a) Si para la tormenta, el avión llegará esta noche.
b) Si estudias, aprobarás el examen.
c) No podré ir a buscarte si llueve.
d) Si es santiagueño, es argentino.

8) Dadas las siguientes proposiciones:

a) Si un número es par, entonces su cuadrado también es par.
b) Si un cuadrilátero tiene los cuatro ángulos rectos, entonces es rectángulo.
c) Si dos rectas del plano son paralelas, sus pendientes son iguales.
i) Expréselas en lenguaje simbólico empleando las proposiciones simples que la
componen.
ii) Formule simbólicamente y en lenguaje coloquial las implicaciones asociadas a las
dadas.
iii) Niegue las expresiones anteriores y traduzca al lenguaje coloquial.

9) Coloque paréntesis (si fuera necesario) para que la fórmula lógica corresponda a la
proposición que se indica en cada caso.
a) Negación ~ p∧ q r
b) Disyunción p∧q ∨ r
c) Conjunción p∧q ∨ r
d) Disyunción p∨ ~ p

10) i) Dadas las siguientes fórmulas, determine si son tautológicas, contradictorias o

contingentes:

FCEyT – UNSE 6
 Álgebra y Geometría Analítica – Año 2009

a) (~ p ∧ q) ∨ ~ r b) ( p ∧ r ) ∧ (~ q ∨ ~ s) c) p ∧ q r
c) [(~ s ∨ r ) ∧ p ] q d) p ∧ r ⇔ s ∧ q
e) ( p q ) ∨ ( ~ q ~ p) f) p q ∨ r
ii) Determine si la siguiente fórmula proposicional corresponde a una tautología,
contingencia o contradicción.
Si Pablo obtiene 6, entonces pasara de curso. Pablo no pasa de curso. Por lo tanto,
Pablo no obtiene 6

11) Verifique las siguientes equivalencias:

a) p q ≡ ~ p ∨ q b) p q ≡ ~ q ~ p
c) La negación de la disyunción de dos proposiciones es igual a la conjunción de las
negaciones.

12) De las siguientes expresiones, indique cuáles son formas proposicionales y cuáles
son proposiciones.
a) Todo ángulo agudo mide menos de 90º.
b) x es un número racional.

13) Niegue las siguientes proposiciones.

a) ∀ z : p ( z ) q ( z ) b) ∃ w / p ( w) ∨ q ( w)
c) ∀ x : ( p ( x) ∧ q ( x) ) d) ∃ x / x < 5 ∨ x + 2 = 7

14) Usando cuantificadores en cada una de las siguientes proposiciones, abstraiga la

forma lógica, niegue la expresión cuantificada y traduzca al lenguaje corriente.
a) No todos los números reales son racionales. U = IR
b) Todos los cuadrúpedos son mamíferos U = {x / x es cuadrúpedo}
c) Algunos autos son nuevos U = {x / x es medio de transporte}
d) Todos los múltiplos de 6 son múltiplos de 3. U = {x / x es múltiplo de 6}
e) Hay números impares divisibles por 5. U = {x / x es impar }

15) Recurrencia o Principio de Inducción Completa.

i) Usando el símbolo de , abrevie las siguientes sumas.
a) x1 + x 2 + ..... + x9 =
b) 2 + 4 + 6 + 8 + 10 + 12 =
c) 1 + 3 + 5 + 7 + 9 =
ii) Dadas las siguientes sumas;
• Desarróllelas
• Indique el tercer término de las mismas.
3 5 4
• Calcule : a) 3n − 2 b) 5 n −1
n =1 n =1 n =1

iii) Usando el P.I.C. pruebe la validez de las siguientes expresiones para cualquier n
natural.
a) 1 + 7 + 13 + …. + (6n-5) = n.(3n-2)
n
1
b) 5 i −1 = (5 n − 1)
i =1 4

FCEyT – UNSE 7