ÁREA COMÚN INSTITUCIONAL – CIENCIAS BÁSICAS

Matemática Básica
Taller

Matemática básica

Taller

Construyamos los conceptos de lógica

Temáticas Revisadas:

1. Proposiciones
2. Tablas de Verdad

Propósito

Con esta actividad denominada “Construyamos los conceptos de lógica” se busca que el estudiante,
de manera individual, organice, jerarquice y entienda los elementos, características, propiedades y
operaciones de lógica matemática.

FUNDAMENTOS DE LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

FUNDAMENTOS DE LÓGICA SIMBÓLICA

1) Para describir los diversos restaurantes de la ciudad, denotemos con p “la comida es buena” ;
con q “el servicio es bueno” y con r “es de tres estrellas”. Escribir simbólicamente las
siguientes proposiciones:

a) La comida es buena o el servicio es bueno, o ambas cosas

P: la comida es buena (p V q) V r
Q: el servicio es bueno

b) La comida es buena o el servicio es bueno, pero no ambas cosas.

P: la comida es buena
(p ∨ q) ¬ r
Q: el servicio es bueno

c) La comida es buena y el servicio no.

P: la comida es buena p V ¬q
Q: el servicio es bueno
 d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas

P: la comida es buena ¬p⇔ r

Q: el servicio es bueno
R: es de tres estrellas

e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres

estrellas

P: la comida es buena p∧q⇒r

Q: el servicio es bueno
R: es de tres estrellas

f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen
servicio.

P: la comida es buena ¬r⇔ (p V q)

Q: el servicio es bueno
R: es de tres estrellas

ÁREA COMÚN INSTITUCIONAL – CIENCIAS BÁSICAS

Matemática Básica
Taller
 2) Denotemos con p “el clima es agradable” y con q “vamos de día de campo”. Traducir las
siguientes proposiciones al lenguaje coloquial y, si es posible, simplificar :

a) p ∧ q

 el clima es agradable y vamos de día de campo.

b) p ⇔ q

 el clima es agradable si y solo si vamos de día de campo.

c) q ⇒ p

 Vamos de día de campo entonces el clima es agradable.

3) Construir las tablas de verdad de los siguientes esquemas proposicionales:

a) (p ∨ q) ∨ p

p q (p ∨ q) (p ∨ q) ∨ p

V V V V
V F V V
F V V F
F F F V

b) (p ∨ q) ⇒ p

p q (p ∨ q) (p ∨ q) ⇒ p

V V V V
V F V V
F V V F
F F F V

c) p ⇔ (p ∨ q)

p q (p ∨ q) (p ∨ q) ⇔ p

V V V V
V F V V
F V V F
F F F V

d) (q ⇒ p) ⇒ (p ⇒ q)
p q (q ⇒ p) (p ⇒ q) (q ⇒ p) ⇒ (p ⇒ q)

V V V V V
V F V F F
F V F V V
F F V V V

e) (p ∧ q) ∨ (∼ r)

p q r ¬r (p ∧ q) (p ∧ q) ∨ (∼ r)
V V V F V V
V V F V V V
V F V F F F
V F F V F V
F V V F F F
F V F V F V
F F V F F F
F F F V F V

f) ∼ (r ⇒ r)

r r (r ⇒ r) ¬ (r ⇒ r)

V V V F
F F V F

4) Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente V ; F ; F y

V. Obtener los valores de verdad de:

i) [(p ∨ q) ∨ r] ∧ s

p q r s (p ∨ q) (p ∨ q) ∨ r (p ∨ q) ∨ r] ∧ s

V F F V V V V

ii) r ⇒ (s ∧ p)

p r s (s ∧ p) r ⇒ (s ∧ p)
V F V V V
 iii) (p ∨ r) ⇔ (r ∧ ∼ s)

p r s ¬s (p ∨ r) (r ∧ ¬ s) (p ∨ r) ⇔ (r ∧ ∼ s)

V F V F V F F

5) Determinar, si es posible, el valor de verdad de las siguientes proposiciones :

a) (p ∨ q) ⇒ q si p ⇒ q es Falso

 p ⇒ q es Falso cuando p es V y q es F, en (p ∨ q) ⇒ q ; si p es V ,(p ∨ q) es V ,implicación

de antecedente verdadero y consecuente falso ENTONCES (p ∨ q) ⇒ q es falso.

b) p ∨ (p ⇔ q) si p ⇒ q es Verdad
 si p es V puede pasar que:
 p sea V y q sea V
 p sea F y q sea V
 p sea F y q sea F

Realizamos una tabla de verdad con las alternativas posibles:

p q (p ⇔ q) p ∨ (p ⇔ q)
V V V V
F V F F
F F V V

No es posible determinar el valor de verdad con los datos proporcionados.

c) [ (p ∨ q) ∧ ∼ q] ⇒ q si p es Verdad y ∼q es Verdad

 Sabiendo que p es verdad y que ¬q es verdad, realizamos la tabla de verdad con los valores:

p q ¬q (p ∨ q) (p ∨ q) ∧ ∼ q [ (p ∨ q) ∧ ∼ q] ⇒ q
V F V V V F
Resulta que [ (p ∨ q) ∧ ∼ q] ⇒ q es falso.
 ÁREA COMÚN INSTITUCIONAL – CIENCIAS BÁSICAS
Matemática Básica
Taller

6) Simplificar las siguientes proposiciones:( ley de Morgan)

a) ∼ (∼ p ∨ ∼ q)
 la negación de una disyunción de proposiciones
∼ (∼ p ∨ ∼ q) = ¬ (¬p) ∧ ¬ (¬q) = p ∧ q
La negación de una negación es la afirmación así que el resultado es p ∧ q.

b) ∼ (p ∨ q) ∨ (∼ p ∧ ∼ q)
 ∼ (p ∨ q) ∨ (∼ p ∧ ∼ q) = (∼ p ∧ ∼ q) ∨ (∼ p ∧ ∼ q) = ∼ p ∧ ∼ q
La negación afecta al primer paréntesis y el resto de la operación se escribe igual, eliminamos una de
las expresiones idénticas y el resultado es = ∼ p ∧ ∼ q.

7) Determinar si las siguientes proposiciones son leyes lógicas :

i) p∧q⇒r

se realiza tabla de verdad:

p q r (p ∧ q) p ∧ q ⇒r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

Si los resultados de la última columna son todos verdaderos se considera tautología, pero
como se observa en la segunda fila aparece un valor falso lo que se considera una
contingencia.
 ii) [ (p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)
se realiza tabla de verdad:
p q r p⇒q q⇒r (p ⇒ q) ∧ (q ⇒ r) p⇒r [ (p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)
V V V V V V V V
V V F V F V F V
V F V F V F F V
V F F F V F F V
F V V V V F V V
F V F V F F F V
F F V V V F V V
F F F V V F V V

Como se ve en los resultados de la última columna son todos los valores verdaderos, por lo tanto
es ley lógica.

iii) p ∧ [ p ⇔ q]

se realiza tabla de verdad:

p q p⇔q p ∧ [ p ⇔ q]
V V V V
V F F F
F V F F
F F V F

El resultado de los valores es verdadero y falso, por lo tanto, es una contingencia.

8) Negar los siguientes esquemas proposicionales y obtener expresiones equivalentes

i) (p ∧ q) ⇒ r
Para negar encerramos entre corchetes, anteponiendo el signo de negación
¬ [(p ∧ q) ⇒ r]= ¬ [¬ (p ∧ q) ∨ r]= ¬ [¬ (p ∧ q)] ∧¬ r = (p ∧ q) ∧¬ r = p ∧ q ∧¬ r

ii) ∼q ∨ r

Para negar encerramos entre paréntesis:

¬ (∼q ∨ r) = ¬ (¬q) ∧ ¬ r = q ∧ ¬ r

iii) p ∧ (q ⇒ r)
para negar encerramos entre corchetes:
¬ [p ∧ (q ⇒ r)] = ¬ p ∨¬ (q ⇒ r) = ¬ p ∨¬[ (¬q∨ r)] = ¬ p ∨[¬ (¬q) ∧¬r] = ¬ p ∨(q∧¬r)

TEORÍA DE CONJUNTOS
ÁREA COMÚN INSTITUCIONAL – CIENCIAS BÁSICAS
Matemática Básica
Taller

9) Escribir simbólicamente:

a) R es un subconjunto de T

 R⊂T

b) M no es un subconjunto de S

 M⊄S

c) x es un elemento de Y

 x∈Y

d) z no pertenece a A

 z∉A

e) El conjunto vacío

 A=ø

f) R pertenece a A

 R∈A

10) Escribir por extensión los conjuntos:

i) A = {x: }
A = {x: x2 - 2 = 0}
x2 = 2  x1= √2  x2= - √2
A= {√2,- √2}
 ii) C = {x :
}
C= {x: x2 = 9  x - 3 = 5}
x1= √9 = 3  x2= - √9 = - 3
x1-2 = 8
C= ø

iii) B = {x es dígito del número 2324}

B= {2,2,3,4}
B= {2,3,4}

iv) D = {x: x es vocal}

D = {a, e, i, o, u}

11) Escribir por comprensión los siguientes conjuntos:

A = {1, 2, 4, 8, 16...}

por comprensión x1 = 20 = 1; x2 = 21 = 2; x3 = 22 = 4; x4= 23 = 8 . . . . . . . . . . xn = 2n-1

cualquiera sea i  0 entonces: A = {x / x  N  x = 2i, i  0}

B = {1, 3, 5, 7, 9,...............................................}

Por comprensión B = {x / x  N  x es impar} ó B = {x / x  N  x = 2h - 1, h  1}

D = {1, 4, 9, 16, 25, 36}

Por comprensión son números que resultan de elevar al cuadrado cualquier número
natural
D= {x / x  N  x = n2, con n  N, n  7}

12) Escribir por extensión los siguientes conjuntos definidos por comprensión
A = {x / x ∈ N ∧ 3 ≤ x ≤ 10} por extensión A = {3, 4, 5, 6, 7, 8, 9, 10}

B= {x / x ∈ N ∧ 5 / x} por extensión B = {5, 10, 15, 20, 25, . . . . . . }

ÁREA COMÚN INSTITUCIONAL – CIENCIAS BÁSICAS

Matemática Básica
Taller

13) Sean:

A = {1, 2,....................., 8, 9}
B = {2, 4, 6, 8}
C = {1, 3, 5, 7, 9}
D = {3, 4, 5}
E = {3, 5}
Representamos

¿Cuáles de estos conjuntos son iguales a X ?, si se da la siguiente información:

i) X y B son disyuntos entonces X=C ó X=E

ii) X ⊂ D pero X ⊄ B entonces X=E

iii) X ⊂ A pero A ⊄ C entonces X=B

 iv) X ⊂ C pero X ⊄ A entonces X= ø Esto es imposible, porque en este caso todos los

conjuntos dados están incluidos en el conjunto A.

15) Indicar en cada caso si la proposición es verdadera o falsa:

i) {1, 4, 3} = {3, 4, 1} VERDADERO porque los elementos de los dos conjuntos son los mismos
y si dos conjuntos tienen los mismos elementos, son iguales.
ii) 1 ⊄ {1,2} VERDADERO 1  {1, 2} porque es un elemento del conjunto Negamos que se
establezca una relación de inclusión, Mas precisamente 1 no está incluido en { 1, 2 } , sino
que pertenece a { 1, 2 }

iii) {4} ⊂ {{4}} VERDADERO {4} es un elemento del conjunto {{4}} relación que se establece
entre elemento y conjunto de pertenencia.

iv) {3, 1, 2} ⊂ {1, 2, 3} VERDADERO los elementos de los dos conjuntos son los mismos
podemos decir: A = B y B = A entonces A = A.

v) {4} ∈ {{4}} FALSO

vi) ∅ ⊂ {{4}} VERDADERO  es un conjunto, no es un elemento (en este caso),  está

incluido en cualquier conjunto

16) Determine si los conjuntos dados son vacíos:

i) X = {x: }
X = {x: x2 = 9  2 x = 4}

El conjunto X está conformado por elementos que verifican las dos ecuaciones dadas en la definición por
comprensión, pero debe verificar ambas porque los que vincula las ecuaciones es una conjunción.

4
x =9 x=± √ 9 2 x = 4  x= =2 En ningún caso coinciden x1 o x2 con x = 1/2
2
x1 = 3
2
x2 = - 3
Entonces: X=

ii) Y = {x: x ≠ x}
Y = { x : x  x }
El conjunto Y estará conformado por elementos x que sean distintos de sí mismos, Esto contradice el
primer principio de la lógica clásica “todo objeto es idéntico a sí mismo” (P. de Identidad)
Entonces: Y=

iii) Z = {x: x + 8 = 8}
Z = { x : x + 8 = 8 }  x = 8 – 8 = 0 X={0}
Entonces: Z

17) ¿Cuáles de los conjuntos siguientes son finitos ?

i) Los meses del año.

Conjunto finito de 12 elementos; A = {enero, febrero, marzo, abril, mayo, junio,

julio, agosto, septiembre, octubre, noviembre, diciembre}.

ii) El conjunto Q de los números racionales

Q = { x / x  Q } R : conjunto de los números racionales
Conjunto infinito si se analiza un intervalo [ 0,1] conjunto A y algún conjunto B cardinal n.
a 0 le corresponde 1 a 1 le corresponde 2; tomamos el valor medio del intervalo [0, 1] a 1/2 le
corresponde 3; tomamos el valor medio entre 0 y 1/2 a 1/4 le corresponde 4; tomamos el valor medio
entre 1/4 y 0 a 1/8 le corresponde 5; tomamos el valor medio entre 1/8 y 0 a 1/16 le corresponde 6
siempre es posible establecer en A un nuevo número intermedio entre 0 y la última fracción al que le
va a corresponder algún elemento de B la cardinalidad de B así no puede determinarse, entonces A es
un conjunto infinito.
 iii) {1, 2, 3,. . . ., 99, 100} Son los 100 primeros números naturales, por lo tanto es un
conjunto finito.

iv) El conjunto R de los números reales

R = {x / x  R}
R: Conjunto de los números reales es un conjunto infinito.

v) El número de personas que viven en la tierra.

si tomamos un instante determinado, la limitación para poder contar los
elementos es solo técnica. En el futuro podríamos empadronar a cada una de las
personas que viven sobre la tierra establecer una relación biunívoca entre el
conjunto C y un conjunto de números naturales cardinalidad n (nº de personas
que viven sobre la tierra).

Entonces se concluye que es un conjunto finito.

18) En los siguientes diagramas de Venn, sombree:

i) W-V

ii) Vc ∪ W
 iii) V ∩ Wc

iv) Vc – Wc

19) Dados tres conjuntos A, B y C cualesquiera y un conjunto D disjunto con los

anteriores, dibujar su diagrama de Venn y rayar las siguientes zonas :

a) A ∪ B

A  B es la región sombreada con cualquiera de los dos colores e incluso con ambos colores

A B =

b) A ∩ B

A  B es la región sombreada solamente con los dos colores

 A B =

c) (A - C) ∪ B

(A - C) B =

d) (A - C) ∩ B

(A - C) B =

e) (A ∩ B ∩ C) ∪ D

( A B C ) D =
 20) Señalar si son verdaderas o falsas las siguientes afirmaciones:

a) A ⊂ B ⇒ A ⊂ (A ∩ B)

Si A  B todos los elementos de A pertenecen también al conjunto B en ese caso A  B = A y

como todo conjunto está incluido en sí mismo; A  B  A  (A  B) es verdadero

b) B ⊂ A ⇒ ( A ∪ B ) ⊄ A

Si B  A todos los elementos de B pertenecen también al conjunto A en ese caso A  B = A

y como todo conjunto está incluido en sí mismo; B  A  (A  B)  A es Falso

A
B

c) C - A = C ∩ A

C - A es quitarle el conjunto A al conjunto C; Lo que tiene resultado diferente de C  A

entonces C - A = C  A es Falso
d) A = B ⇒ A ∪ B = A
Si A = B los elementos del conjunto A son los mismos que los elementos que los del
conjunto B la unión de ambos conjuntos es igual a cualquiera de ellos.
Luego: A = B  A  B = A es Verdad