UNIDAD 4: LÓGICA

Proposiciones: son enunciados que pueden ser verdaderos, falsos o indeterminados. Las
preguntas no son proposiciones.
p: 12 es un nú mero impar F
q: 20÷4=5 V
r: Tienes ojos azules I (para algunas personas es verdadero y para otras falso)

Negación: La negació n de una proposició n p, “no p” se escribe ¬p.

¬p es verdadera cuando p es falsa, y, será falsa si p es verdadera

p: Tomá s tiene el pelo castañ o ¬p: Tomá s no tiene el pelo castañ o

1) ¿Cuá l de los siguientes enunciados es una proposició n? Si es una proposició n di si es

verdadera, falsa o indeterminada.
a) 2  Q d) Tu hermano tiene 13 añ os
b) Todos los cuadrados son rectá ngulos e) 37 es un nú mero primo
c) ¿está nevando? f) Juan canta muy alto.

2) En cada proposició n
i) escribe la negació n ii) indica si la proposició n o su negació n es verdadera
m: √ 5 es irracional
s: La diferencia entre dos nú meros impares es siempre par
p: todos los trapecios son paralelogramos.
t: El producto de dos enteros consecutivos es siempre par

3) Encuentra la negació n de estas proposiciones x, y Î Â

a) x<5 b) x ³ 3 c) y>8 d) Bea tiene menos de dos hermanas

4) Encuentra la negació n de estas proposiciones dentro de los conjuntos indicados:

a) x ³ 5 para x Î Z b) x ³ 0 para x Î Z
+

x es una vaca para x Î { caballos, ovejas, vacas, cabras y ciervos}

c)
x Î { estudiantes}
d) x es un chico estudiante para

5) Representa con un diagrama de Venn la proposició n p como P y ¬p como P’

U ={ x / 20 < x < 30, x Î Z }
a) p: x es un mú ltiplo de 3 para
U ={ x /1 < x £10, x Î Z }
b) p: x es un nú mero par para

Proposiciones compuestas: está n formadas por enunciados y conectores como “y” u “o”.

Conjunción: p y q se escribe p∧q

Una conjunció n es verdadera só lo cuando las dos proposiciones son verdaderas.
p: Eli toma sopa q: Eli toma carne p∧q : Eli toma sopa y carne

1
6) Para los siguientes pares de proposiciones p y q determina si p∧q es verdadero o falso:
a) p: 5 es un nú mero primo q: 5 es un nú mero impar
b) p: un cuadrado tiene 4 lados q: un triá ngulo tiene 5 lados
c) p: 39 < 27 q: 16 > 23

U = x /1 £ x £12, x Î Z
{ } sea p: x es par y q: x es menor que 7
7) Para
Represéntalo en un diagrama de Venn y di para qué valores es verdadero p∧q

Disyunción: p o q se escribe p∨q

Una disyunció n es verdadera cuando una o ambas proposiciones son verdaderas. Si las dos
son falsas entonces es falsa.

p: Fran jugó al tenis hoy q: Fran jugó al golf hoy p∨q: Fran jugó al tenis o al golf hoy

Disyunción exclusiva: Es verdadera cuando sólo una de las proposiciones es verdadera

Se escribe pÚq (p o q pero no ambas)

p: Eva tomó cereales para desayunar q: Eva tomó tostadas para desayunar
pÚq : Eva tomó cereales o tostadas para desayunar pero no ambos.

2
8) Determina si p∨q es verdadero o falso:
a) p: 24 es un mú ltiplo de 4 q: 24 es un mú ltiplo de 6
b) p: -8 > -5 q: 5<0
c) p: La media de 5 y 9 es 7 q: La media de 8 y 14 es 10

9) Determina si pÚq es verdadero o falso:

a) p: 23 es un nú mero primo q: 29 es un nú mero primo
b) p: 15 es par q: 15 es un mú ltiplo de 3
c) p: 4 . 5 ∈ Ζ q: −8 ∈ Ν

10) Considera x: A Sergio le gustaría nadar mañ ana

y: A Sergio le gustaría ir a la bolera mañ ana.
Escribe de manera simbó lica
a) A Sergio no le gustaría nadar mañ ana
b) A Sergio le gustaría nadar e ir a la bolera mañ ana
c) A Sergio le gustaría nadar o ir a la bolera mañ ana.
d) A Sergio no le gustaría ir ni a nadar ni a la bolera mañ ana
e) A Sergio le gustaría o ir a nadar o ir a la bolera mañ ana pero no ambas cosas.

11) Define las proposiciones apropiadas y escribe en forma simbó lica:

a) A Juan le gusta el helado y la gelatina
b) A Juan le gusta el helado o a Juan no le gusta la gelatina.
c) x es mayor que 10 y un nú mero primo
d) Juan puede ir a la montañ a o a la playa pero no ambas.
e) El ordenador no está encendido
f) Puedo oír un trueno o un avió n

12) Si p∨q es verdadero y pÚq es falso, determina los valores de p y q.

13) Para U= { x/1≤x≤12, x∈ Ζ } considera las proposiciones p: x es primo, q: x es

divisor de 12.
a) Representa los conjuntos p y q en un diagrama de Venn
b) Escribe el significado y usando el diagrama de Venn escribe los conjuntos
i) p∧q ii) p∨q iii) p¿q

14) Mar se levantó tarde y desayunó tortitas. Fue al gimnasio por la mañ ana y se comió un
sá ndwich a mediodía. Jugó al golf por la tarde y cenó un filete.
Considera las siguientes proposiciones
p: Mar se levantó temprano q: Mar comió tortitas para desayunar
r: Mar comió un filete a mediodía s: Mar comió un filete para cenar
t: Mar comió pescado para cenar u: Mar fue al gimnasio
v: Mar fue al cine w: Mar jugó al golf

Determina si es verdadero o falso:

a) p b) s c) q∧u d) p∨w e) r∨s f) r∧s g) r ∨ s h) t ∨ v

3
TABLAS DE VERDAD

Usaremos esta tabla para construir tablas de verdad para proposiciones má s complicadas.

Ejemplo: Tabla de verdad para p ∨ ¬q

Empezamos escribiendo todas las posibilidades para p y q. Después completamos la columna
¬q. Finalmente usamos la regla de la disyunció n con las columnas de p y ¬q.

con la calculadora 1 representa verdadero y 0 representa falso.

STAT/ 1:Edit / rellenar las listas L1, L2… /poner el cursor en el nombre de la lista siguiente /
Con (2nd MATH) TEST- LOGIC escribir conectores y con 2nd 1, escribir L1,….

L1 L2 L3
1 1 1
1 0 1
0 1 0
0 0 1
-------- -------- ---------
L3=L1 or not (L2)

Tautología y contradicción lógica

Una proposició n compuesta es tautología si todos los valores en la tabla de verdad son
verdaderos.
Una proposició n compuesta es contradicción lógica si todos los valores son falsos.
Dos proposiciones son lógicamente equivalentes si tienen la misma columna final en la
tabla.

Ejemplos: p ∨ ¬p es una tautología (¬q ∧ p) ∧ (q ∨ ¬p) es una contradicció n.

4
15) Usa tablas de verdad para comprobar las siguientes equivalencias ló gicas:
a) ¬(¬p)=p b) p∧p=p c) p∨(¬p∧q) =p∨q d)¬(p∨q)=p∨¬q e)¬(q∨¬p)=¬q∧(p∨q)

16) Construye una tabla de verdad para (¬p∧q) ∨ (p∧¬q)

17) Considera las proposiciones p: me gustan las manzanas y q: me gustan los plá tanos.
Escribe el significado de
i) p∨q ii) ¬(p∨q) iii) ¬p iv) ¬p ∧ ¬q

Usa una tabla para demostrar que ¬(p∨q) y ¬p ∧¬q son equivalencias ló gicas.

TABLAS DE VERDAD PARA 3 PROPOSICIONES

Para tres proposiciones p, q y r las combinaciones posibles son las de la tabla siguiente:

Ejemplo

18) Construye tablas de verdad para estas proposiciones compuestas.

a) ¬p∨(q∧r) b) (p∨¬q)∧r c) (p∨q) ∨ (p∧¬r)

19) Considera las proposiciones p: Mari estudiará matemá ticas el añ o que viene
q: Mari estudiará francés el añ o que viene r: Mari estudiará alemá n el añ o que viene

a) Escribe el significado de:

i) q∨r ii) p∧(q∨r) iii) p∧q iv) p∧r v) (p∧q) ∨ (p∧r)
b) Usa las tablas para demostrar que p∧(q∨r) = (p∧q)∨(p∧r)

IMPLICACIÓN Y EQUIVALENCIA

Implicación: “si p entonces q” se escribe p⇒ q y se lee p implica q. p se llama el

antecedente y q se llama el consecuente.

5
 Equivalencia: “p si y só lo si q” se escribe p⇔ q y se lee p es
equivalente a q.

20) Considera las proposiciones p: Está lloviendo y q: Se está n formando charcos

Escribe simbó licamente:
a) Si está lloviendo entonces se está n formando charcos
b) Si se está n formando charcos entonces está lloviendo
c) No se está n formando charcos
d) No está n lloviendo
e) Si no está lloviendo, entonces no se está n formando charcos
f) Si está lloviendo, entonces no se está n formando charcos
g) Si no hay charcos, entonces está lloviendo
h) Está lloviendo si y só lo si se está n formando charcos.

21) Construye tablas de verdad para:

a) p¬q b) ¬q¬p c) (pq)p d) q(pq) e) pq
f) (pq)p g) p(pq) h) (pq)p

22) Determina si las siguientes proposiciones son contradicciones ló gicas, tautologías o

nada.
a) p(¬pq) b) (pq)(pq) c) (p¬q) (pq)

RECÍPROCA, CONTRARIA Y CONTRARRECÍPROCA.

La recíproca de la sentencia pq es la sentencia qp

La contraria de la sentencia pq es la sentencia ¬p¬q

6
La contra recíproca de la sentencia pq es la sentencia ¬q¬p. Es ló gicamente
equivalente a la implicació n pq.

Ejemplo: p: Sam está en la biblioteca q: Sam está leyendo

Implicació n: pq Si Sam está en la biblioteca, entonces Sam está leyendo
Recíproca: qp Si Sam está leyendo, entonces Sam está en la biblioteca
Contraria: ¬p¬q Si Sam no está en la biblioteca, entonces Sam no está leyendo
Contra recíproca: ¬q¬p Si Sam no está leyendo, entonces Sam no está en la biblioteca.

23) Escribe la recíproca y la contraria para

a) Si dos triá ngulos son semejantes, entonces son equiangulares
b) Si 2x2 = 12, entonces x=6
c) Si Alex está en el patio, entonces se lo está pasando bien.
d) Si un triá ngulo es equilá tero, entonces sus tres lados tienen la misma longitud.

24) Escribe la contra recíproca para

a) Si es un arbusto tiene rosas, entonces tiene espinas
b) Todos los á rbitros toman decisiones correctas todas las veces
c) Los líquidos siempre toman la forma del contenedor donde está n.
d) x es divisible por 3  x2 es divisible por 9
e) x es un nú mero que acaba en 2  x es par

ARGUMENTOS VÁLIDOS

Un argumento está hecho de un conjunto de proposiciones, llamado la premisa, que conduce

a una conclusión.

Ejemplo: Si Jorge está en la playa, entonces se pone bronceador. Jorge está en la playa.
Por lo tanto, Jorge se pone bronceador.

Separamos la premisa de la conclusió n con una línea.

Si Jorge está en la playa, entonces se pone bronceador
Jorge está en la playa premisa
Jorge se pone bronceador conclusió n

p: Jorge está en la playa q: Jorge se pone bronceador

p⇒q
p }
premisa

entonces el argumento se puede escribir: q}conclusión

7
Para determinar si el argumento es vá lido, construimos una tabla de verdad para
(pq)pq y vemos si es una tautología.

Como tenemos una tautología el argumento es vá lido.

25) Considera el siguiente argumento: Luci tendrá que trabajar hoy si y só lo si Pablo está
enfermo. Pablo no está enfermo. Por lo tanto, Luci no tendrá que trabajar hoy.
a) Escribe la premisa y la conclusió n de este argumento con p: Luci tendrá que trabajar hoy
y q: Pablo está enfermo.
b) Escribe el argumento de forma ló gica
c) Construye una tabla de verdad para mostrar que el argumento es vá lido.

26) Determina la validez de los siguientes argumentos:

a) Tania fue al cine o al teatro la noche pasada pero no a ambos. Tania no fue al cine. Por lo
tanto, Tania fue al teatro.
b) Si x es un mú ltiplo de 4, entonces x es par. Como x es par, entonces es un mú ltiplo de 4.
c) Londres está en China si y só lo si 20 es un mú ltiplo de 5. 20 es un mú ltiplo de 5. Por lo
tanto, Londres está en China.
d) x es un divisor de 30 o 50. De ahí, x es un divisor de 50.

8
*27)

*28)

*29)

9
*30) Considere el enunciado p:
“Si un cuadrilá tero es un cuadrado, entonces los cuatro lados del cuadrilá tero son iguales”.
a) Escriba con palabras la proposició n contraria del enunciado p. (2p)
b) Escriba con palabras la proposició n recíproca del enunciado p (2p)
c) Determine si la recíproca del enunciado p es siempre verdadera. Dé un ejemplo para
justificar sus respuesta. (2p)
*31)

*32)

10
*33)

*34)

11
(i) Se lleva a cabo un estudio sobre un grupo de 30 muchachos para hallar a qué deporte de
los tres siguientes cricket (C ) , basketball (B ) o volleyball (V ) juegan. Los resultados
son los siguientes:

3 muchachos no juegan a ninguno de estos deportes

2 muchachos juegan a los tres deportes
6 juegan a volleyball y a basketball
3 juegan a cricket y a basketball
6 juegan a cricket y a volleyball
16 juegan a basketball
12 juegan a volleyball

(a) Dibuje un diagrama de Venn que ilustre las relaciones entre estos tres
deportes que se juegan.
(b) En cada regió n del diagrama de Venn indique el nú mero de muchachos que
pertenecen a ella.
(c) ¿Cuá ntos muchachos juegan solamente a cricket?
(ii) Las proposiciones p , q y r se definen como sigue:

p : Matthew llega a cas antes de las 6:00 de la tarde

q : Matthew prepara la cena
r : Jill lava los platos

(a) (i) Exprese en forma ló gica la siguiente afirmació n.

Si Matthew llega a casa antes de las 6:00 entonces preparará la cena.

(ii) Escriba con palabras la siguiente afirmació n ló gica.

¬q ⇒¬r
(b)(i) Copie y complete la siguiente tabla de verdad.

p q r p⇒ q q⇒r ¬r
( p ⇒ q )∧( q ⇒r )∧¬r ¬p [ ( p ⇒ q ) ∧( q ⇒r )∧¬r ] ⇒¬ p
V V V V
V V F V
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V

(ii) Explique el significado de la anterior tabla de verdad.

12