1 Logica

Instituto Superior Pedaggico Pblico
LA SALLE DE ABANCAY
Programa Nacional de Formacin y Capacitacin
Docente (PRONAFCAP) Educacin Secundaria
COMPONENTE MATEMTICA
DOCENTES: Prof. Ral Cayllahua Ramrez Ricardo
Quispe Aguilar
PRIMER MDULO
LGICA Y CONJUNTOS
LOGICA Y CONJUNTOS
Programa Nacional de Formacin y Capacitacin Permanente

PRONAFCAP - 2010
ORGANIZADOR VISUAL DE LA UNIDAD
ISPP LA SALLE DE ABANCAY

ITEM: 4 / SUB ITEM: 4-S

PRONAFCAP - 2010
LGICA PROPOSICIONAL
1. Sealar cul de los siguientes enunciados no es una proposicin:

A)
B)
C)
D)
E)
2. Identifique una proposicin:
Abel mat a Can

Las abejas producen miel
Visitar el planeta Urano
Compare los precios
Maana ser otro da
A)
B)
C)
D)
E)
Las grandes epopeyas

Qu bonita!
Cundo me pagars?
x+y+z
El banco quebr
Recordemos conceptos!!!
1. ENUNCIADO Y PROPOSICIN.
ENUNCIADO
PROPOSICIN
Cualquier frase u oracin:
Enunciado al cual se puede asignar un solo valor de verdadero o

falso.
Ejemplos:
De los siguientes enunciados:
a) El azul es el color ms bonito.
b) x + 2 = 5
c) El nmero 4 es menor que el nmero 2
d) Miguel Grau fue piurano
e)
Sporting Cristal es el campen del ftbol peruano
2007
f)
g)
h)
i)
j)
0 es un nmero natural
x es un nmero impar
Qu hora es?
Alfonso Ugarte se arroj del Cerro San Cristbal
Sientate derecho!
Son proposiciones los ejemplos: c); d); e); f); i)

Los ejemplos b) y g) son
enunciados abiertos Porqu?
2. NOTACIN.
Las proposiciones se denotan con las letras minsculas: p, q, r, s,
etc. a los cuales se denominan variables proposicionales; los
valores verdadero y falso se denotan con las letras maysculas:
V y F respectivamente.
Ejemplos:
p: 2 es un nmero primo
q: 30=1
r: Per limita por el sur con Colombia
Sus valores:
V(p)=V; V(q)=V y V(r)=F


PRONAFCAP - 2010
3. PROPOSICIONES SIMPLES Y COMPUESTAS.
4.1. PROPOSICIN SIMPLE O ATMICA
4.2. PROPOSICIN COMPUESTA O MOLECULAR
Estn generalmente formados por un solo sujeto, un solo verbo y

un predicado.
Ejemplos.
p: El papa actual es Karol Wojtila
q: 34 23+10
r: Abancay es la capital de la regin Apurmac
Formados por dos o ms proposiciones simples, unidas o

enlazadas por los trminos y, o, si, entonces, etc. A los
cuales se les denomina Conectivos Lgicos.
Ejemplos. Son proposiciones compuestas:
1)2 es un nmero par y 4 es divisible por 3
2)El mundial de ftbol 2006 se realizar en Alemania o en
Francia
3)Si el presidente actual de Per es Alejandro Toledo, entonces,
el presidente de Chile es Evo Morales y de Venezuela es Hugo
Chvez


PRONAFCAP - 2010
1. Cul de las siguientes proposiciones compuestas es falsa?
A) (2 + 3 = 5)
(8 1 = 7)
B) (2 x 3 = 6)
C) (3 + 4 = 5)
6. Luca es feliz, si lee cuentos. Entonces la proposicin

equivalente es:
a) No es cierto que Luca lea cuentos y sea feliz.
b) No es cierto que Luca sea feliz o no lea cuentos.
c) No es cierto que Luca lea cuentos y no sea feliz.
d) No es cierto que Luca no lea cuentos y no sea feliz.
(6 + 1 = 9 1)
(5 = 9 7)
16
D) (5 + 3 = 6)
E) (1 + 2 = 3)
(5 1 = 4)
= 5)
2.Si la proposicin: [(~p q) ~ r] es falsa (F), hallar el valor de

verdad de p, q y r.
A)VVV
B)VFV
C)FVF
D)FFV
E)FFF
Si p y q son proposiciones verdaderas, y r una proposicin
falsa; el valor de verdad de las siguientes proposiciones es:
I. (p r) r
II. p (p r)
III. p ( q r)
a) FFF
b) FVV
c) FFV
d) FVF
3. La siguiente proposicin:
~(p ~q) (q ~p)
es una:
A) tautologa
B) contradiccin
C) contingencia D) equipotencia
E) induccin
7. Cul de las siguientes proposiciones es la equivalente de:

"Si te levantas temprano, entonces tomas desayuno"
A) No tomas desayuno y te levantas temprano.
B) Si tomas desayuno entonces si te levantas temprano
C) Si no tomas desayuno entonces no te levantas temprano.
D) Si tomas desayuno, no te levantas temprano.
E) No tomas desayuno, no te levanta tarde.
8. 3La negacin de :
Todas las chicas miran a Ricardo
es :
A) Algunas chicas miran a Ricardo
B) Algunas chicas no miran a Ricardo
C) Ninguna mira a Ricardo
D) Ninguna no mira a Ricardo
E) Todas las chicas miran a Ricardo
9. 4De las siguientes afirmaciones:
I.
Si eres perseverante, estudias en feriado
II.
Progresas si estudias en feriado
se deduce:
A) Si no eres perseverante, no progresas
B) Si no eres perseverante progresas
C) Si eres perseverante, progresas
D) Si eres perseverante, no progresas
E) Si estudias en feriado eres perseverante
4. 1La negacin de :
Algunos no quieren a sus padres, es :
A) Ninguno quiere a sus padres
B) Todos no quieren a sus padres
C) Algunos quieren a sus padres
D) Todos quieren a sus padres
E) Ninguno quiere a ninguno de sus padres
5. 2Si estudias, sers triunfador. Si no eres mdico, entonces no
eres un triunfador. Se deduce:
A) Si estudias no eres un triunfador
B) Si estudias sers mdico
C) Si eres mdico, entonces estudiaste
D) Si no estudias, sers mdico
E) Si no eres triunfador, eres mdico
OPERACIONES PROPOSICIONALES
5
10. 5Si las proposiciones p, q y r son F, V y F respectivamente,

hallar el valor de verdad de:
(~p q) r
(p ~q) (~p r)
[(p q) r] (q ~r)
A) VVV
B) VVF C) VFV
D) FVF
E) FFV
Recordemos conceptos!!!


PRONAFCAP - 2010
Una operacin proposicional, consiste en determinar el valor de una proposicin compuesta a partir de los valores de las proposiciones
simples que la componen. Las operaciones principales son:
OPERACIN
NOTACIN Y LECTURA
La conjuncin de p y q se denota:
pq
Se lee: p y q.
TABLA DE VALORES
Conjuncin
Disyuncin
fuerte o
exclusiva
Disyuncin
dbil o inclusiva
Negacin
Condicional
La disyuncin exclusiva de p y q
denota:
pq
se lee: O p q
se
EJEMPLO
p:2 es un nmero par
V(p)=V
q:3 es un nmero par
V(q)=F
La proposicin conjuntiva:
pq:2 es un nmero impar y 3 es un
nmero par
Su valor: V(pq)=F
p:Mario Vargas Llosa es colombiano
V(p)=F
q:Mario Vargas Llosa es Peruano
V(q)=V
La disyuntiva fuerte o exclusiva:
pq:O Mario Vargas Llosa es
colombiano o es peruano
Su valor: V(pq)=V
La disyuncin inclusiva de p y q se
denota con:
pq
Se lee: p q
p:4 es nmero par

V(p)=V
q:4 es un nmero primo
V(q)=F
La disyuncin inclusiva es:
pq:4 es un nmero par o primo
Su valor: V(pq)=V
La negacin de p se denota con:

p
Se lee:
" no p "
" no es cierto que, p "
p:141 es un nmero capica

q:Per es un pas europeo
Sus negaciones:
p:141 no es un nmero capica
q:No es cierto que, Per es un pas
europeo
La proposicin condicional de p y q se
denota con:
pq
Se lee Si p entonces q
En la proposicin condicional:
p:247
q:22427
La proposicin bicondicional se denota

con:
pq
Se lee: p si y solo si q
p:Cusco es la capital arqueolgica del

mundo
q:Sacsayhuaman
es
obra
arquitectnica Maya
La proposicin bicondicional es:
pq:Cusco es la capital arqueolgica
del mundo si y solo si
Sacsayhuaman
es
obra
arquitectnica Maya
Con: V(pq)=F
V(p)=V
V(q)=F
La proposicin condicional:
pq:Si, 247 entonces 22427
Su valor: V(pq)=F
Bicondicional


PRONAFCAP - 2010
ESQUEMA MOLECULAR
Llamada tambin frmula molecular, es un conjunto de variables proposicionales, conectivos lgicos y signos de coleccin, donde figura un
conectivo de mayor jerarqua al cual se denomina Operador principal . Son esquemas moleculares:
EVALUACIN DE ESQUEMAS MOLECULARES POR LA TABLA DE VALORES.

Consiste en determinar los posibles valores de verdad del operador principal de un esquema molecular a partir de la validez de cada una de
las variables proposicionales. Para ello se utiliza una tabla con todas las combinaciones respectivas de los posibles valores de las variables
proposicionales, considerando que si el esquema molecular tiene n proposiciones el nmero de combinaciones de los valores de las
variables proposicionales es 2n.
Para dos variables proposicionales p y q:
p
V
V
F
F
Para tres variables proposicionales p, q y r:
q
V
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
Ejemplos:
1. Evaluar en la tabla de valores el esquema siguiente:
p
V
V
F
F
(qp) (p p)
q
V
F
V
F
SOLUCIN
p)
(q
2.Evaluar en la tabla de valores el siguiente esquema:

[p(qp)] (pq)
p
V
V
F
F
q
V
F
V
F
[p
SOLUCIN
(q
(q
p)]
TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA.

Los esquemas moleculares, de acuerdo a los valores obtenidos en su operador principal, se clasifican en:


PRONAFCAP - 2010
Ejemplo: Evaluar en la tabla:
1. TAUTOLOGA. Cuando todos los valores de su

operador principal son verdades.
2.CONTRADICCIN. Cuando todos los valores de su

operador principal son falsos.
3. CONTINGENCIA O CONSISTENCIA. Cundo al

menos tiene una verdad y una falsedad.
p
V
V
F
F
q
V
F
V
F
(p
q)
[q
(q
(2)
(3)

p
q
[q
(
V
V
V
F
F
V
F
F
(3)
p
q
q
[(
V
V
V
F
F
V
F
F
R
(2)
)]
(q
EQUIVALENCIA LGICA
Dos esquemas moleculares A y B son equivalentes si, los resultados de sus operadores principales son iguales respectivamente. Se
denota:
AB
se lee: A es equivalente a B
TEOREMA: Los esquemas moleculares A y B son equivalentes si al unirlos con la bicondicional resulta una TAUTOLOGA.
Ejemplo.
Dados los esquemas moleculares:
A= p ( pq); B = (pq)[(pq)p]; C= [p(pq]p
Indique cuales son equivalentes.
SOLUCIN
A=
B=
(2)
C=
[p
(p
q)
(1)
(3)


PRONAFCAP - 2010
Luego: Cules son equivalentes? Rpta:.
EQUIVALENCIAS NOTABLES:
Las equivalencias que con ms frecuencia se utilizan son:
DENOMINACIN Y REPRESENTACIN
Ley De involucin:
p p
EJEMPLOS
1. No es cierto que, Jos no sea mdico
Su equivalente: Jos es mdico
2. No es verdad que, la educacin en Per no haya mejorado
Su equivalente: .
Leyes de DMorgan
( p q) p q
( p q) p q
1. No es cierto que, Pedro est enamorado y haya dejado de estudiar

Su equivalente: Pedro no est enamorado o no ha dejado de estudiar
2. No es verdad que, matemtica es difcil o comunicacin es sencillo:
Su equivalente:
Ley del condicional

pqpq
1. Si estoy mal, entonces faltar a clases

Su equivalente: No estoy mal o faltar a clases.
2. Si no haces ejercicios entonces vas a engordar
Su equivalente:.
Ley de transposicin
p q q p
1. Si Luis estudia entonces ingresa a la universidad

Su equivalente: Si Luis no ingresa a la universidad entonces no estudia
2. Si 3 es impar, entonces 2 es par.
Su equivalente:.
Ley transitiva
Si p q y q r
pr
1. La conclusin de:
Si estudias, entonces ingresars
Si ingresas, entonces sers profesional.
Conclusin: si estudias, entonces sers profesional
PROPOSICIN CATEGRICA
DEFINICIN
EJEMPLOS
Es aquella proposicin que afirma o niega una relacin

de inclusin o exclusin total o parcial entre clases, es
decir entre sujeto y predicado.
1. Todos los hombres son mortales

Clases: Hombres; mortales
Sujeto:
Hombres
Predicado:
Mortales
La proposicin nos indica que los elementos de la clase hombres son tambin
elemento de la clase mortales.
OBSERVACIN: A las expresiones: todos, algunos,

ningn se les denomina: Cuantificadores
2. Algunos alumnos son estudiosos

Clases: Alumnos; estudiosos
Sujeto:
Alumnos
Predicado:
Estudiosos
La proposicin nos indica que slo algunos elementos de la clase alumnos son
tambin elemento de la clase estudiosos.
CLASIFICACIN DE LAS PROPOSICIONES CATEGRICAS:
CLASES
Universal afirmativo:
EJEMPLOS Y REPRESENTACIN GRFICA

Todos los perros son caninos
En esta proposicin la clase o conjunto de los perros est incluida totalmente en la


PRONAFCAP - 2010
clase o conjunto de los caninos
Universal negativo:
Ningn pez es terrestre

Esta proposicin expresa la exclusin total entre la clase pez y la clase terrestre.
Particular afirmativo:
Algunos profesores son matemticos.

En este caso la clase de los profesores est incluida parcialmente en la clase de los
matemticos.
Particular negativo:
Algunas lneas no son rectas.

En esta proposicin el conjunto de las lneas est excluido parcialmente del
conjunto de las rectas.
NEGACIN DE PROPOSICIONES CATEGRICAS

La negacin de un trmino extremo o universal (Todos, ninguno) se realiza con una trmino medio o particular(algunos o al menos con
un elemento) y viceversa. Es decir:
PROPOSICIN
NEGACIN DE LA PROPOSICIN
Todos los S son P
Algunos S no son P
Algunos S no son P
Todos los S son P
Algunos S son P
Ningn S es P
Ninguno de los S son P
Algunos (o al menos uno) S son P
10


PRONAFCAP - 2010
Algn S es P
Ningn S es P
Ejemplos:
1. Negar las proposiciones categricas siguientes:
a) Todos los profesores son buenos pedagogos
b) Ningn profesor llega tarde al taller
c) Algunas personas son malas
Sus negaciones son:
a) Algunos profesores no son buenos pedagogos.
b)
c).
1.De las siguientes expresiones, cules son proposiciones lgicas:

I.
Colombia es un pas sudamericano.
II. 13 es un nmero primo.
III. Me siento bien.
IV. Cmo llegaste?
a) Slo II b)
I y II
c)
Slo III
d) Slo I e)
I y III
2.Dadas las proposiciones compuestas:
I.
(3 . 0 = 3) (4 + 0 = 4)
II. (1 < -1) (5 2 < 2,5)
III. (20 = 2) (4 5 9)
IV. (8 . 0 = 0) (7 . 1 = 7)
Hallar sus valores de verdad.
a)VFFF
b)VFVV
d) FFFV
e) VFFV
8.Si se sabe que la proposicin compuesta :

(qt)(pq)
Es falsa, encontrar los valores veritativos de p, q y t.
a)FFF
b)FVV
c)VFF
d)VVF
e)FVF
9. Indicar V o F en :
I. p(pq)q
II. p(pq)pq
III. pq(pq)(qp)
a)FVF
b)VFF
c)FFF
d)FVV
e)VVV
10. Si: pqV

(pq)(pq)V
Luego p y q son:
a)VV
b)FV
d)VF
e)N.A.
c)FF
11. Determinar el valor de verdad de cada una de las siguientes

proposiciones:
I. Si: 31=7, entonces : 44=8.
II. No es verdad que: 22=5 si y solo si: 44=10.
III. Madrid est en Espaa o Londres est en Francia.
a)VFV
b)VVV
c)VFF
d)FVF
e)FFF
12. Cuntas son proposiciones atmicas:
I. Hace calor y est lloviendo.
II. Ricardo ama a Josefa.
III. Pedro es pobre pero es feliz.
IV. Carmen es mayor que Elena.
V. Rosalinda y Ana son gemelas.
a)1
b)2
c)3
d)4
e)5
c)VVFF
3.Dadas las proposiciones lgicas:

p : 12 es un nmero primo.
q
: 2/3 es un nmero racional.
r
: 16 es un cuadrado perfecto.
Hallar los valores de verdad de:
I.
( ~ p q) (r p)
II. ~ (p q) (q ~ r)
a)VV b)VF
c)FF
11


PRONAFCAP - 2010
d)FV e)Faltan Datos
13. Cul de las siguientes proposiciones es la equivalente de :

"no es el caso, que no hace fro y llueve"
a)Hace fro y llueve
b)Hace fro o llueve
c)No hace fro o llueve
d)Hace fro o no llueve
e)Hace fro y no llueve
4. Al construir la tabla de verdad de:

(pq)(pq)
Se obtiene una:
a)Tautologa
b)Contradiccin
c)Contingencia
d)Disyuncin
e)F.D.
14. Indique si los esquemas presentados son Tautologa(T),

Contradiccin(F) o Contingencia(C).
I. (pq)(qp)
II. [(qp)(qp)]p
III. [a(ba)]{[(ab)b]b}
a)FTC
b)FCT
c)FFT
d)TCF
e)CTF
5. Hallar la proposicin equivalente a:

"Usted no sanar si toma slo agua"
a)Si usted no toma agua, sanar
b)Ud. No toma agua y sana
c)Ud. Slo toma agua y no sana
d)No es el caso que, ud. Tome slo agua y sane.
e)No es el caso, que ud. Tome slo agua sane.
15. No es cierto que estudiamos y no aprobamos.

La proposicin equivalente es:
a) Aprobamos y no estudiamos
b) Estudiamos o aprobamos
c) Estudiamos o no aprobamos
d) Aprobamos o no estudiamos
6. De las siguientes afirmaciones:

Si eres inteligente, entiendes rpido.
Estudias menos, si entiendes rpido.
Se deduce vlidamente que:
a) No estudias menos, si eres inteligente.
b) Si eres inteligente, estudias menos.
c) Si no eres inteligente, no estudias menos.
d) Si estudias menos, eres inteligente.
7. Si no tomas algo caliente, te vas a resfriar, si te resfras no
podrs ir al concierto; luego, si fuiste al cine:
a) Te resfriaste en el concierto.
b) No tomaste algo caliente.
c) Tomaste algo caliente.
d) Te divertiste en el concierto.
12
16. No es brillante pero se ve su esfuerzo.

La proposicin equivalente es:
a) No es cierto que sea brillante y no se vea su esfuerzo.
b) No es cierto que se vea su esfuerzo y no sea brillante.
c) No es cierto que sea brillante o no se vea su esfuerzo.
d) No es cierto que se vea su esfuerzo.


1 Logica

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

1 Logica

Hochgeladen von

Copyright:

Verfügbare Formate

Instituto Superior Pedaggico Pblico

Programa Nacional de Formacin y Capacitacin Permanente

ORGANIZADOR VISUAL DE LA UNIDAD

ISPP LA SALLE DE ABANCAY

Programa Nacional de Formacin y Capacitacin Permanente

1. Sealar cul de los siguientes enunciados no es una proposicin:

2. Identifique una proposicin:

Abel mat a Can

Las grandes epopeyas

Cualquier frase u oracin:

Enunciado al cual se puede asignar un solo valor de verdadero o

Son proposiciones los ejemplos: c); d); e); f); i)

ISPP LA SALLE DE ABANCAY

Programa Nacional de Formacin y Capacitacin Permanente

4.2. PROPOSICIN COMPUESTA O MOLECULAR

Estn generalmente formados por un solo sujeto, un solo verbo y

Formados por dos o ms proposiciones simples, unidas o

ISPP LA SALLE DE ABANCAY

Programa Nacional de Formacin y Capacitacin Permanente

6. Luca es feliz, si lee cuentos. Entonces la proposicin

2.Si la proposicin: [(~p q) ~ r] es falsa (F), hallar el valor de

7. Cul de las siguientes proposiciones es la equivalente de:

10. 5Si las proposiciones p, q y r son F, V y F respectivamente,

ISPP LA SALLE DE ABANCAY

Programa Nacional de Formacin y Capacitacin Permanente

p:4 es nmero par

La negacin de p se denota con:

" no es cierto que, p "

p:141 es un nmero capica

La proposicin bicondicional se denota

p:Cusco es la capital arqueolgica del

ISPP LA SALLE DE ABANCAY

Programa Nacional de Formacin y Capacitacin Permanente

EVALUACIN DE ESQUEMAS MOLECULARES POR LA TABLA DE VALORES.

Para tres variables proposicionales p, q y r:

2.Evaluar en la tabla de valores el siguiente esquema:

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA.

ISPP LA SALLE DE ABANCAY

Programa Nacional de Formacin y Capacitacin Permanente

1. TAUTOLOGA. Cuando todos los valores de su

2.CONTRADICCIN. Cuando todos los valores de su

3. CONTINGENCIA O CONSISTENCIA. Cundo al

Ejemplo: Evaluar en la tabla:

ISPP LA SALLE DE ABANCAY

Programa Nacional de Formacin y Capacitacin Permanente

1. No es cierto que, Pedro est enamorado y haya dejado de estudiar

Ley del condicional

1. Si estoy mal, entonces faltar a clases

1. Si Luis estudia entonces ingresa a la universidad

Es aquella proposicin que afirma o niega una relacin

1. Todos los hombres son mortales

OBSERVACIN: A las expresiones: todos, algunos,

2. Algunos alumnos son estudiosos

EJEMPLOS Y REPRESENTACIN GRFICA

ISPP LA SALLE DE ABANCAY

Programa Nacional de Formacin y Capacitacin Permanente

Ningn pez es terrestre

Algunos profesores son matemticos.

Algunas lneas no son rectas.

NEGACIN DE PROPOSICIONES CATEGRICAS

Todos los S son P

Todos los S son P

Ninguno de los S son P