1

FACULTAD DE
ESCUELA PROFESIONAL DE
DOCENTE
ASIGNATURA
TEMAS:
Cuantificadores
Circuitos lgicos

SESIN DE APRENDIZAJE N 04
Ciencias Empresariales
Administracin
Walter Orlando Gonzales Caicedo
Lgico Matemtica

:
:
:
:

CICLO: I
FECHA:

TIEMPO: 08 horas acadmicas.

COMPETENCIA:
Desarrolla y aplica los cuantificadores en un conjunto de proposiciones as como identifica los elementos del
dominio que dan solucin a la funcin proposicional; demostrando dominio del tema con reflexin y
persistencia.
CAPACIDADES:
Aplica el cuantificador lgico universal y existencial en la simbolizacin y negacin de proposiciones.
Infiere procedimientos para representar frmulas lgicas y/o esquemas moleculares a travs de circuitos lgicos.

ACTITUDES:
RESPONSABILIDAD: Manifiesta compromiso e identificacin en su trabajo acadmico.
PUNTUALIDAD: Revela respeto a los dems y a si mismo asistiendo puntualmente a las clases.
PARTICIPACIN: Muestra disposicin a enfrentarse a situaciones problemticas novedosas. Participa activamente
en el desarrollo de las clases.
DESCRIPCIN DETALLADA DE
EVALUACIN
MOMENTOS O
MEDIOS Y
TIEMPO
ESTRATEGIAS Y
FASES
MATERIALES
INDICADORES
INSTRUMENTO
METODOLOGA
MOTIVACIN:
El docente y los estudiantes Material Impreso
recuerdan a travs de ejemplos
Inters por el
prcticos
la definicin de
tema,
Pizarra
enunciados abiertos o funciones
participacin
Observacin
proposicionales y su utilidad en el Plumones
individual y en espontnea
lenguaje matemtico
50 min. grupo.
acrlicos
EXPLORACIN
El docente presenta en la pizarra Mota
Motivacin y
una lista con enunciados en el
exploracin
Palabra hablada
lenguaje natural
para que los
estudiantes lo expresen en el
lenguaje lgico simblico
(Lluvia
de
ideas,
Tcnica

interrogativa)
El uso para seguir la secuencia.

(ANEXO N 01)

El docente

utilizando los

enunciados

lgicos

elaboradas por los alumnos,

A

formula

las

siguientes

Problematizacin

Un

enunciado

abierto

funcin proposicional puede

tener

interrogantes :

una,

dos

tres

que

los

valores que se da a

la

variables?

Podemos

decir

variable hacen del enunciado

Exposicin oral

45 min.

Dadas
las
secuencias de
las
proposiciones
del
Mdulo
utiliza
los
cuantificadore
s apropiados
para
representar
adecuadament
e los ejercicios
planteados.
Participacin
activa

Ficha
de
evaluacin
(ANEXO
N
05)
Ficha
de
autoevaluaci
n
(ANEXO
N
04)

El docente

utilizando los

enunciados

lgicos

elaboradas por los alumnos,

formula

las

siguientes

interrogantes :

Un

enunciado

abierto

Exposicin oral

45 min.

funcin proposicional puede

tener

una,

dos

tres

que

los

valores que se da a

la

variables?

Podemos

decir

una

verdadera

Ficha
de
evaluacin
(ANEXO
N
05)
Ficha
de
autoevaluaci
n
(ANEXO
N
04)

Participacin
activa

variable hacen del enunciado

abierto

Dadas
las
secuencias de
las
proposiciones
del
Mdulo
utiliza
los
cuantificadore
s apropiados
para
representar
adecuadament
e los ejercicios
planteados.

proposicin
o

falsa?

Ejemplifique.
Problematizacin

Qu nombre le pondramos
a la funcin proposicional si
le anteponemos la palabra
para todo ?

Qu nombre le pondramos
a la funcin proposicional si
le anteponemos la palabra
existe algn?

Cmo defines a un circuito

lgico?

Los alumnos exponen sus

planteamientos

resoluciones.

El

docente sistematiza

la

informacin

Se forma 7 grupos.

Modulo de lgica matemtica

(ANEXO N 02)

El docente entrega la hoja de

informacin Conozcamos los
cuantificadores

Construccin del
conocimiento

lgicos:
universal,

y circuitos
cuantificador

existencial

negacin de proposiciones
que

contienen

cuantificadores; circuitos en
serie y en paralelo. (ANEXO
N 02)

Papelgrafo.
Mdulo
lgico
matemtico
(ANEXO N02)
Textos
auxiliares.

185
min.

Identifica
Cuantificador
universal,
existencial.

Ficha
de
evaluacin
(ANEXO
N
05)

Infiere
procedimiento
s para negar
cuantificadore
s

cinta adhesiva
Trabaja
forma
individual
grupal
comentan

en
y
,

Ficha
de
autoevaluaci
n
(ANEXO
04)

Se forma 7 grupos.

Modulo de lgica matemtica

(ANEXO N 02)

El docente entrega la hoja de

informacin Conozcamos los
cuantificadores
lgicos:

y circuitos
cuantificador

universal,

existencial

negacin de proposiciones
que

contienen

cuantificadores; circuitos en

185
min.

Papelgrafo.
Mdulo
lgico
matemtico
(ANEXO N02)
Textos
auxiliares.
cinta adhesiva

Trabaja
forma
individual
grupal
comentan
,discuten

N 02)
Los

alumnos

dan

Ficha
de
evaluacin
(ANEXO
N
05)

Infiere
procedimiento
s para negar
cuantificadore
s

serie y en paralelo. (ANEXO

Identifica
Cuantificador
universal,
existencial.

lectura

en

Ficha
de
autoevaluaci
n
(ANEXO
04)

y
,

individualmente a la hoja de
Construccin del
conocimiento

informacin.

En

grupos

elaboran

un

cuadro comparativo a cerca

de

los

cuantificadores

universales y existenciales ;
circuitos en serie y paralelo ..

Infieren procedimientos para

simbolizar proposiciones con
cuantificadores

circuitos

lgicos.

Esquematizan y sustentan su
informacin

de

manera

secuencial.

El

docente

refuerza

sistematiza

la

informacin

resolviendo

ejercicios

prcticos.
(Hoja de informacin ,Trabajo en
equipo , Ejemplificacin)
Los estudiantes resuelven los
ejercicios planteados en su
mdulo de trabajo.

Los estudiantes participan

anotando sus respuestas en

Hoja impresa

la pizarra

Transferencia del
conocimiento

Los

estudiantes

ejercicios

elaboran

referidos

Cuantificadores: universal y
existencial,

Niegan

Folder
trabajo

de

120
min.

Aplica
estrategias
metacognitivas
para
simbolizar y
negar
proposiciones
que contiene
cuantificadore
s.
Grafican
circuitos

Ficha
de
evaluacin
(ANEXO
N
05)

Los estudiantes resuelven los

ejercicios planteados en su
mdulo de trabajo.

Los estudiantes participan

anotando sus respuestas en

Hoja impresa

la pizarra

Los

estudiantes

ejercicios

elaboran

referidos

Folder
trabajo

de

Cuantificadores: universal y
existencial,
Transferencia del
conocimiento

Niegan

cuantificadores.

Grafican circuitos lgicos en

serie, paralelo y sustentan el
procedimiento empleado.

Luego contrastan la validez

de sus respuestas con la
informacin que realiza el

120
min.

Aplica
estrategias
metacognitivas
para
simbolizar y
negar
proposiciones
que contiene
cuantificadore
s.
Grafican
circuitos
lgicos en
serie y
paralelo
Presentacin
de
trabajo
individual
o
grupal

docente. (ANEXO N03)

(Hoja

de

informacin

,Grupo de estudio ,

trabajo

en equipo). (ANEXO N03)

BIBLIOGRAFA

Trelles Montero, Oscar y Rosales Para, Digenes. (2000). Introduccin a la

lgica. Editorial pontificia.
Ferrater Mora Jos. Lgica Matemtica.

Espinoza Ramos. (2006). Matemtica Bsica I. Editorial J. J. Per.

Stewart, James. Primer curso de Lgico Matemtica.
Garfunkel, Salomn. Las Matemticas en la vida cotidiana.
Gonzales Caicedo, Walter Orlando y otros. (2009).
Matemtica. Lambayeque Per.

Modulo de Lgico

ANEXO N 01

Recuerda: Hay que aprender a hacer las cosas ms pequeas de la manera

ms grande. Goethe.
Objetivo : Lograr motivar a los estudiantes y reflexionar.
Materiales: Papelotes y plumones azul, negro y rojo.
ANEXO N02
Modulo de lgico matemtica
CUANTIFICADORES

A diferencia de las proposiciones que hemos manejado hasta ahora, el enunciado x3

no es Verdadero ni Falso. Cuando la variable x se reemplaza por ciertos valores de x,
5

Ficha
de
evaluacin
(ANEXO
N
05)

por ejemplo 2, la proposicin resulta Falsa. Este es un ejemplo de un enunciado

abierto, el cual viene a ser una preposicin slo cuando las variables son remplazadas
por los nombres particulares de los objetos.
Si un enunciado abierto se llama P y las variables x1, x2, , xn; escribimos P(x1, x2, ,
xn) y en el caso de una sola variable escribimos P(x).
El enunciado x1=x2+x3, es un enunciado abierto con 3 variables. Si denotamos el
enunciado por P(x1, x2 ,x3), entonces P(7,3,4) es Verdadero, ya que 7=3+4, pero
P(1,2,3) es Falso, ya que 12+3.
1. DEFINICIN
La coleccin de objetos que al reemplazarlos en lugar de las variables en un
enunciado abierto lo convierten en una proposicin verdadera se llama el conjunto de
verdad del enunciado.
Antes de determinar el conjunto de verdad es necesario saber cules objetos estn
disponibles para ser tomados en cuenta. Es decir, debemos haber especificado un
universo de discurso. Denotemos por U= DP el conjunto universo, es decir el dominio
de la funcin proposicional.
Ejemplo: Sea Q(x) en enunciado x2=4.
Si tomamos el conjunto de los nmeros reales como el universo del discurso, el
conjunto de verdad ser 2 y -2. Q(x) = {2,-2} en
Si el universo del discurso fuera el conjunto de los naturales, entonces el conjunto de
verdad sera 2. Q(x) = {2} en
Recordemos que un enunciado abierto P(x) no es una proposicin, pero P(a) es una
proposicin para cualquier a en el universo del discurso. Otra forma de construir una
proposicin a partir de P(x) es modificndola mediante un cuantificador.

Dado un enunciado abierto P(x) con variable x, el enunciado:

x DP : P(x). Se lee: Para Todo x en el dominio se cumple P de x
Y es verdadero precisamente cuando el conjunto de verdad para P(x) es el
universo completo. El Smbolo se llama el Cuantificador Universal.
El enunciado: x DP / P(x). Se lee Existe x en el dominio, tal que P de x.
Y es verdadero precisamente cuando el conjunto de verdad para P(x) no es
vaco. El smbolo se llama Cuantificador Existencial.
Las expresiones:

Todo hombre es mortal.

Puede traducirse respectivamente como:
Para todo x, si x es hombre entonces x es mortal.
En forma simblica tenemos:
x DP: P(x); donde P(x): x es mortal.
Algunos hombres son sabios.
Puede traducirse respectivamente como:
Existe un x, tal que x es hombre y x es sabio.
En forma simblica tenemos:
x DP / P(x); donde P(x): x es hombre y x es sabio

Otros giros utilizados para la expresin "para todo x" son:

Todo x
Cualquiera x
6

Cada x
Otros giros utilizados para la expresin 'Existe un x" son:
Hay x
Existe x, tal que
Algn x
Algunos x
Ejemplo: Suponga que el universo es el conjunto de los , entonces:
a) x, x3 es Verdadero, pero
x, x3 es Falso.
b) x, |x|>0 es Verdadero, pero
x, |x|>0 es Falso.
c) x, x2 = -1 es Falso, pero
x, x+2 > x es Verdadero.
x cuando x0
d) |x|=
-x cuando x<0
|1|=1
|2|=2
|3,14|=3,14
|-1|=-(-1)=1
|-2|=-(-2)=2
OBSERVACIN:
La negacin del cuantificador universal es el existencial y la negacin del cuantificador
existencial es el universal. Es decir:
x DP : P(x) x DP / P(x)
x DP / P(x)x DP : P(x)
Ejemplo: Halle una negacin para: cada nmero real positivo tiene un inverso
multiplicativo.
Solucin:
Sea el universo, el conjunto de todos los , el enunciado puede representarse por:
x : x>0 y  / xy=1
Si:

x=2, y=1/2 xy=1

x=3, y=1/3 xy=1
x=1/5, y=5 xy=1
Y as sucesivamente.
Entonces la negacin de x : x>0 y  / xy=1, es:
x : x>0 y  / xy=1x / x>0 y  / xy=1
 / x>0) y  / xy=1
= x  / x>0 y : xy=1)
= x  / x>0 y  : xy1

x

Esto ltimo se lee: Existe un nmero positivo x para el cual no hay inverso.
OBSERVACIN: Las proposiciones universales pueden aparecer negadas, como en
el enunciado:
"No todos son mecnicos".
En este caso la simbolizacin ser: [x DM : M(x)], donde M(x) es la funcin
proposicional "x es mecnico" que toma valores dentro del conjunto de referencia
formado por los hombres.
Las palabras "ningn", "ninguno", "nada", "nadie" corresponden tambin a
enunciados universales con negaciones, pero de una manera distinta a las
proposiciones anteriores.
La proposicin: "ninguno es mecnico" no equivale a la proposicin "no todos son
mecnicos"
Sino a la expresin "para todo x, x no es mecnico" que se simboliza: x DM : M(x).
Las proposiciones existenciales pueden estar negadas, como por ejemplo:
"no es cierto que hay fantasmas" la cual se simboliza como: [x DF / F(x)] donde
F(x) simboliza la expresin "x es un fantasma".
Anlogamente a lo que ocurre con los cuantificadores universales, las proposiciones
existenciales pueden tener negaciones internas como "algo no es mortal" la cual se
simboliza como: x DM / M(x), donde M(x) simboliza la expresin "x es mortal".
OBSERVACIN: Dado un enunciado P(x) la proposicin !x, P(x), se lee Existe un
nico x, tal que P(x). El enunciado !x, P(x) cuando el conjunto de verdad consta de
exactamente un elemento del universo.
Ejemplo: En el universo de los , la proposicin !x, x es un nmero par positivo y
primo; es verdadero, ya que el nico elemento del conjunto de verdad es el 2.
Es decir:
P(x) = {2,4,6,8,}
P(x) = {2}
Ejemplo: El enunciado !x, x2 = 4 es verdadero si el conjunto universo es el de los ,
pero es falso cuando el universo del conjunto de los , pues este universo tiene dos
nmeros, el 2 y -2, que cumplen con la condicin x2 = 4.
Es decir:
!x, x2 = 4 es verdadero en los , ya que x2 = 4 x = 2 pero -2 no pertenece a los ,
por tanto x=2 es el conjunto de verdad en los .
CIRCUITOS LGICOS
CIRCUITOS CONMUTADORES: Un circuito conmutador es un circuito elctrico que
contiene interruptores para el paso o interrupcin de la corriente.
Para el diseo de estos circuitos designemos por p y q dos interruptores elctricos
que dejan pasar corriente y por ~p y ~q los que no dejan pasar corriente estos se
pueden conectar por un alambre en serie o en paralelo.
Grficamente tenemos:

Figura (1)

Figura (2)

En la figura (1) se tiene un circuito en serie y se representa por: p q

En la figura (2) se tiene un circuito en paralelo y se representa por: p v q
Observacin: Su evaluacin en tablas de verdad es:
p

Donde:
1 = verdadero (V)
0 = falso (F)
Ejemplo1:
Describe simblicamente el siguiente circuito:

p
p

q
r

Solucin:
Observemos que el circuito esta en serie y en paralelo, tenemos:
p y q estn en paralelo es decir: p v q
p, (p v q) y q estn en serie, es decir: p (p v q) q
r y q estn en paralelo es decir: r v q
r , (r v q) y p estn n serie, es decir: r
(r v q) p
Luego: la representacin de todo el circuito es:
[p (p v q) q] v [r
(r v q) p]
SIMPLIFICACION DE CIRCUITOS:
Para la simplificacin de circuitos se debe tener en consideracin las leyes de
equivalencia.
Ejemplo 2:
Del ejemplo anterior se tiene que el circuito queda simplificado de la siguiente manera:
[p (p v q) q] v [r
(r v q) p]
{ [p (p v q)] q} v { [r (r v q) ] p }
(p q) v (r p)
[ (p q) v r] [ (p q) v p]
[ (p q) v r] p
[ (p v r) (q v r) ] p
[ (p v r) p] (q v r)
p (q v r)
Luego: se obtiene el circuito:

q
r

Ejemplo 3:
Simplificar el siguiente circuito

p
p

q
p

q
q

q
p

Solucin:
Tenemos:
(q v p) p] } p
(p v q)
{[p (p v q) q] v [q
{ (p q) v
[(q p ) p] }
( p
q)
{ (p q) v
[(q (p p)]}
( p
q)
{ (p q) v
(q F)}
( p
q)
{ (p q) v
F}
( p
q)
{(p q)} ( p q)
(p p) (q q)

F F

F
ANEXO N 03
ACTIVIDAD DE APRENDIZAJE N 04
DESARROLLO LOS CONTENIDOS DE FORMA COLECTIVA.
I. Simbolizar los siguientes enunciados:
1. Todo es perecedero.
2. Hay marcianos.
3. Alguien no es perfecto.
4. No hay cosas slidas.
5. Si todo es rojo, hay algo rojo.
6. Nada se mueve.
7. No todo es perecedero.
8. Nada es perecedero.
9. Existe un nmero real que no es positivo y no es negativo.
10. Existe un paralelogramo que es equiltero y equingulo.
11. Todo nmero real elevado al cuadrado es no negativo.
12. Existe un nmero real; que sumado con cualquier nmero real, da por resultado
este ltimo.
13. Hay cisnes negros.
14. Existen animales carnvoros.
15. Hay nmeros perfectos.
16. Existen ciudades de clima fro.
17. Todos los nevados son colombianos.
18. Hay cetceos que son peces.
19. Algunos nmeros negativos no son enteros.
20. Algunos gobernantes no respetan la libertad.
II. Negar los enunciados de la parte II.
III. Expresar en el lenguaje corriente los enunciados simbolizados que se
presentan a continuacin:
Sean:
10

A(x) : x es un animal
H(x) : x es un hombre
M (x) : x es un mamfero
V( x) : x es un vertebrado
1. x / A(x) V( x)
2. x / A(x) V( x) M (x)
3. x : H(x)
[A(x) M (x) V( x)]
[V( x) V( x)]
4. x : A(x))
5. [x / H(x) M (x)]
6. [x : A(x) M (x)]
7. x / A(x) M (x)
M (x)
8. x : H(x)
9. x: H(x)
[M (x) H(x)]
[V( x) M (x)]
10. x / A(x)
I. Negar los enunciados de la parte III.

II. Determinar el valor de verdad de los siguientes enunciados, considerando

como universo el conjunto de los nmeros reales.
11. x. x 3 = x .
12. x : 2 x + 5 = x
13. x : x 2 + 3 x 2 = 0
14. x. x 3 < x
15. x : x2 2x + 5 0
16. x. 2 x + 3 x = 5 x
17. x. x + 3 > 6
18. x : x + 3 > 9
19. x. x 2 10 8

20. x : 2x2 =18

III. Negar los enunciados de la parte V.
IV. Simplificar los siguientes circuitos:

21.

~q

~p

~r

~p

q
22.

q
p

~p
23.

p
~p
q
~q

~p
11

1.

~p

~q
~p

q
2.
p
~q
p
q
I.

q
~p
~q
~p

p
~q

Determinar los circuitos lgicos que representan los siguientes esquemas

moleculares:
3. ~ [p
~ (r v q)]
(p
~ q)]
4. ~ p
5. (p q)
(q p)
6. [~ (p v q) v (~ p q] (p
q)
7. (p v q) (~p
~ q)
8. p (q r)
9. p (q r)
10. p (pq)

12