TRABAJO EN CASA

LGICA MATEMATICA
1. Encuentre el valor de verdad para las siguientes proposiciones con
cuantificadores y justifique su respuesta:

x A x 3 10

Sea A 1,2,3,4,5

La anterior proposicin est definida por el Cuantificador Universal

para todo x . En este caso afirma que para todo x que pertenezca al
conjunto A hay un valor que cumple la ecuacin dada. El valor de
verdad es verdadero porque:
Valor de x
X=1
X=2
X=3
X=4
X=5

Operacin x + 3 < 10
1+ 3 = 4; 4 < 10
2 + 3 = 5 ; 5 < 10
3 + 3 = 6; 6 < 10
4 + 3 = 7; 7 < 10
5 + 3 = 8; 8 < 10

Conclusin
Verdadero
Verdadero
Verdadero
Verdadero
Verdadero

x R y R xy 1
La anterior proposicin est definida por el Cuantificador existencial
x para al menos un x. En este caso se afirma que existe al menos
un x y un y que cumplen la condicin. El valor de verdad de esta
proposicin es verdadero porque:
Valor de x
X=1
X=2
X=3
X=4

Valor de y
Y=1
Y=2
Y=3
Y=4

Operacin xy=1
1*1 = 1
2*2 = 4
3*3 = 9
4*4 = 16

Conclusin
Verdadero
Falso
Falso
Falso

Existe al menos una respuesta verdadera por la tanto la proposicin es

verdadera.

2. Identifique el cuantificador utilizado y escriba como se lee la proposicin.

Algunos animales son herbvoros

Rta. En esta proposicin se utiliza el cuantificador existencial y se lee de
la siguiente forma:

x : Animal
h: hervivoros

x x h Existe un x que pertenece al conjunto de los hervivoros.

Para cada pas democrtico hay un presidente elegido por el pueblo.

Rta. En esta proposicin se utiliza el cuantificador universal y se lee de
la siguiente forma
p : pas democrtico
q : presidente elegido por el pueblo

q p

para todo presidente elegido por el pueblo pertenece un pas

democrtico

Hay estudiantes que son brillantes.

Rta. En esta proposicin se utiliza el cuantificador existencial y se lee de
la siguiente forma:
x : estudiantes que son brillantes

x Existen estudiantes que son brillantes

3. Identifica en el siguiente silogismo las diferentes proposiciones categricas.
Posteriormente deduce a que clasificacin pertenece segn la estructura de
la proposicin y representa su relacin de inclusin entre clases mediante
diagramas de Venn.
-

Todos los nativos digitales son nacidos despus de la dcada de los 80.
Algunos estudiantes de lgica matemtica no son nativos digitales.
Luego, algunos estudiantes de lgica matemtica no son nacidos despus
de la dcada de los 80.

Rt. Las proposiciones categricas son:

Premisa 1: Algunos estudiantes de lgica no son nativos digitales.
Premisa 2: Algunos estudiantes de lgica nos son nacidos despus de la dcada
de los 80.
Conclusin: los nativos digitales son nacidos despus de la dcada de los 80

Donde:
P: Estudiantes de lgica matemtica
Q : Nativos digitales
R: Nacidos despus de la dcada de los 80

Premisa 1

Premisa 2

Conclusin

Como la conclusin est contenida dentro la regin sombreada de una de las

premisas se puede afirmar que la conclusin es verdadera.
4. Tenemos la siguiente proposicin categrica
Todo reformador es idealista
Si consideramos que lo anterior es falso cmo sera su proposicin
contradictoria?
a. Verdadera
b. falsa
Rta. La proposicin contradictoria sera verdadera ya que esta afirmara
algn reformador es idealista. Otra forma de expresar esta proposicin
contradictoria sera Todo reformador puede ser idealista.
5. La proposicin contraria del juicio el hombre es sabio es
Rta. La proposicin contraria al juicio anterior sera el hombre no es
sabio