Texto Logico Matematico 1 Aaaa

PRESENTACIN
Deseando contribuir en la solucin de la mejora de una educacin

matemtica de calidad para nuestro pas, me permito alcanzar a toda
las personas interesadas el presente mdulo de lgica matemtica y
resolucin de problemas; con la nica finalidad de intentar mejorar el
rendimiento acadmico de los estudiantes de los primeros semestres
en las asignaturas de matemtica bsica o similares de las universidades
del pas, que desarrollan el contenido de lgica proposicional.
Asimismo debo recalcar en todos los interesados que la lgica
matemtica se aprender mejor, si esta se desarrolla en forma activa,
y una forma de hacerlo y creo la ms importante es involucrando en
ella el mtodo de resolucin de problemas, estrategia fundamental que
debe involucrarse no slo en el aprendizaje de la lgica matemtica,
sino en toda la matemtica.
Agradezco a los estudiantes de la Facultad de Ciencias de la
Educacin, Comunicacin y Derecho (FCECYD) de la Universidad
Nacional Daniel Alcides Carrin (UNDAC), de Cerro de Pasco, por
permitirme trabajar esta alternativa de solucin, a mis maestros de
la Escuela de Post Grado, seccin Doctorado de la Universidad Nacional Enrique Guzmn y Valle, por fortalecer el presente aporte y al
Dr. Ramiro Gutirrez por su invalorable asesoramiento del presente
aporte acadmico; a todos ellos muchas gracias.
F. Armando Zenteno Ruiz
F. Armando ZENTENO RUZ
TABLA DE CONTENIDOS
PRESENTACION
Pag.
METODO DE RESOLUCION DE PROBLEMAS
PROPOSICIONES
1. RESUELVA LOS SIGUIENTES PROBLEMAS
6
7
2. CONCEPTOS NUEVOS
3. SOLUCIONARIO
4. NUEVOS PROBLEMAS
CONJUNCION
2. CONCEPTOS NUEVOS
10
3. SOLUCIONARIO
11
4. NUEVOS PROBLEMAS
11
DISYUNCION
13
13
2. CONCEPTOS NUEVOS
14
3. SOLUCIONARIO
15
4. NUEVOS PROBLEMAS
15
NEGACION
16
1. RESUELVA LOS SIGUIENTES PROBLEMAS 16

2. CONCEPTOS NUEVOS
17
3. SOLUCIONARIO
17
4. NUEVOS PROBLEMAS
18
CONDICIONAL E IMPLICACION
METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA
2. CONCEPTOS NUEVOS
3. SOLUCIONARIO
4. NUEVOS PROBLEMAS
BICONDICIONAL
2. CONCEPTOS NUEVOS
3. SOLUCIONARIO
4. NUEVOS PROBLEMAS
FORMULAS DEL LENGUAJE DE LA LOGICA PROPOSICIONAL
2. CONCEPTOS NUEVOS
3. SOLUCIONARIO
4. NUEVOS PROBLEMAS
TAUTOLOGIAS Y PRINCIPIOS LOGICOS
2. CONCEPTOS NUEVOS
3. SOLUCIONARIO
4. NUEVOS PROBLEMAS
INFERENCIAS
2. CONCEPTOS NUEVOS
3. SOLUCIONARIO
4. NUEVOS PROBLEMAS
SABER LOGICA MATEMATICA ES SABER RESOLVER PROBLEMAS
ESTIMACION DE SOLUCIONES
PROBLEMA 1
PROBLEMA 2
PROBLEMA 3
PROBLEMA 4
SOCIALIZACION DE LA SOLUCION MS VIABLE
PROBLEMA 1
PROBLEMA 2
PROBLEMA 3
PROBLEMA 4
RESOLUCION DE PROBLEMAS, EXPOSICION DE SOLUCIONES
Y SELECCIN DE LA SOLUCION RELACIONADO AL TEMA
PROBLEMA 1
PROBLEMA 2
PROBLEMA 3
PROBLEMA 4
PROCEDIMIENTO 4
INTRODUCCION DE NUEVOS CONCEPTOS Y FORMULACION
DE NUEVOS PROBLEMAS
PROBLEMA 1
PROBLEMA 2
PROBLEMA 3
PROBLEMA 4
PROBLEMAS PROPUESTOS
PROBLEMA 5
PROBLEMA 6
PROBLEMA 7
PROBLEMA 8
PROBLEMA 9
PROBLEMA 10
BIBLIOGRAFA
BIOGRAFIA DE FRANCISCO MIRO QUESADA C.
LGICA MATEMTICA
RESOLVER PROBLEMAS DE LGICA MATEMTICA EMPLEANDO EL MTODO DE RESOLUCIN DE PROBLEMAS EN FORMA SECUENCIAL, SISTEMATIZADA Y EFECTIVA.
MTODO DE RESOLUCIN
DE PROBLEMAS
I.
Involucra los procedimientos:

Formulacin de problemas.
II. Estimacin de soluciones.

III. Socializacin de la solucin ms viable.
IV. Resolucin de problemas.
V. Exposicin de soluciones.
VI. Seleccin de la solucin relacionado al tema.
VII. Introduccin de nuevos conceptos.
VIII. Planteamiento de nuevos problemas.
FORMULACIN DE PROBLEMAS
Quiere decir:
- Organizacin de grupos y equipos de trabajo.
- Presentar uno o ms problemas.
II
ESTIMACIN DE SOLUCIONES
Quiere decir:
- Listado intuitivo de posibles soluciones al problema, individual
y/o grupal
III SOCIALIZACION DE LA SOLUCION MS VIABLE

Quiere decir:
- Internalizar una o dos soluciones del problema.
- Ampliar los argumentos de las soluciones del problema.
IV
RESOLUCION DE PROBLEMAS
Quiere decir:
- En grupos y equipos constituidos.

- Emplear cualquier contenido requerido.
- Considerar un tiempo adecuado
V EXPOSICION DE SOLUCIONES
Quiere decir:
- Hacen conocer la solucin al problema en forma grupal.
- Presentan justificaciones y estrategias.
- Responden a interrogantes y aclaraciones.
VI SELECCIN DE LA SOLUCION RELACIONADO AL TEMA

Quiere decir:
- Escoger una solucin de las expuestas en el procedimiento
anterior.
- Presentar una solucin del problema relacionado al tema a
tratar.
VII INTRODUCCIN DE NUEVOS CONCEPTOS

Quiere decir:
- Presentar definiciones relacionado al tema a tratar.
- Presentar nociones.
- Presentar aclaraciones.
VIII FORMULACION DE NUEVOS PROBLEMAS

Quiere decir:
- Modificar datos en los problemas anteriores.
- Emplear datos de los problemas, pero en otros contextos.
PROPOSICIONES
- Cul de las siguientes expresiones representa una proposicin,
en caso de serlo cul es su valor de verdad?.
a) Conejo es un animal.
b) Llama es bisilbica.
c) 1 + 0 = 0 + 1
d) Cero es un nmero par.
e) Humberto Jara no escribi la historia de dos aventureros.
f) Plata!.
g) La Universidad de Pasco.
h) Cmo te sientes?.
i) Despirtate!.
j) x + 2 = 4
CADA PREGUNTA EQUIVALE DOS PUNTOS
II. NUEVOS CONCEPTOS

2.1 PROPOSICIN:

Es toda secuencia finita de signos que con sentido puede ser

calificada de verdadero o falso.
2.2 PROPOSICIN ELPTICA:

Es una proposicin abreviada.
2.3 METALENGUAJE:

Es un lenguaje que se usa para describir otro lenguaje llamado

lenguaje objeto.
III. SOLUCIONARIO
1.
a) Proposicin falsa
10
b) Proposicin verdadera
c) Proposicin verdadera
d) Proposicin verdadera
e) Proposicin falsa
f) Proposicin (verdadera o falsa)
g) No es proposicin
h) No es proposicin
i) No es proposicin
j) No es proposicin
IV. NUEVOS PROBLEMAS

1.- Cul de las siguientes expresiones representa una proposicin,
en caso de serlo cul es su valor de verdad?.
a) El universo es infinito.
b) Cerro de Pasco tiene un clima caluroso.
c) Cmo te va?.
d) Perro es un tigre.
e) Humano es un ovparo.
f) 2 es un nmero impar.
g) 0 es un nmero entero.
h) Espaa es el mejor pas del mundo.
i) Las estrellas brillan en la oscuridad.
j) Pars es la capital de Alemania.
k) x + 5 8
l) Muy buenos das.
ll) Hola que tal .
m) 22 es nmero par.
n) Alberto Fujimori no fue presidente del Per.
11
o) Csar Vallejo naci en 1892.

p) Jos Carlos Maritegui escribi la Guerra del Fin del Mundo.
q) Levntate!
r) Todos los peruanos son sudamericanos.
s) La inca kola es una gaseosa nacional.
t) Las vacas no son rumiantes.
u) Neptuno es un planeta.
v) Aristteles fundo Lima.
w) Los nmeros primos son divisibles por 2.
x) Mara es una persona.
y) X + 5 = 0
CONJUNCION
I.
RESUELVA LOS SIGUIENTES PROBLEMAS:
1.1 Cul es el valor de verdad de las siguientes proposiciones?. ( 12

PUNTOS)
a) 2n es una potencia par pero 3n es una potencia impar.
b) Cerro de Pasco es la capital de Pasco y Lima es la capital del
Per.
c) El Mono desnudo escribi Lus Piscoya sin embargo Denis
Morris escribi Lgica General.
d) La suma es igual que adicin aunque la resta es diferente que
sustraccin.
1.2 Cuntos valores de verdad tiene tres proposiciones y cules
son?. (3 PUNTOS).
1.3 La propiedad conmutativa se cumple, tanto en la conjuncin
lgica como en la conjuncin en el lenguaje natural?. Presente
un ejemplo. (5 PUNTOS)
12

a. VARIABLES PROPOSICIONALES:

Son variables preposicionales, aquellos que tienen la funcin de

representar a cualquier proposicin no especificada y se denota
por: p. q, r, s , .
b. CONJUNCION:

Si las variables proposicionales p y q representan cualquier par

de proposiciones, luego la proposicin conjuntiva de la forma p
^ q es verdadera solamente en el caso que p sea verdadera y q
tambin sea verdadera. En cualquier otro caso la proposicin es
P.D. q falsa.
c. NOCION:

La conjuncin lgica lo relacionamos con la interseccin de conjuntos..
d. TABLA DE VALORES DE VERDAD:

p^q
________________
III. SOLUCIONARIO
1.1.
a) Falso
b) Verdadero
c) Falso
d) Falso
13
1.2.

Tiene 8 posibles valores de verdad y son:
P q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
1.3.
En el lenguaje lgico se cumple:
P ^ q es equivalente a q ^ p
En el lenguaje natural no se cumple:
Armando Viaj a Lima y asisti a sus clases de portugus, no es
equivalente a: Armando asisti a sus clases de portugus y viaj a Lima.

1. Cul es el valor de verdad de las siguientes proposiciones?.
a) Csar Vallejo escribi los Heraldos Negros y Ciro Alegra
escribi Los Perros Hambrientos.
b) El agua del mar es salada y Cristbal Coln no descubri
Amrica.
c) Las gallinas son mamferas y 12 es un nmero par.
d) Huancayo es la capital de Junn y Daniel Carrin es una provincia de Pasco.
e) Vctor Ral Espinoza Soto es presidente regional de Pasco y
Amanda Lpez Gamarra es alcaldesa de la municipalidad de
Yanacancha.
14
f) 2 + 2 = 4 y 3 + 3 = 6
g) Las rosas son rojas y las violetas son azules.
h) 12 es mltiplo de 4 pero 5 no es mayor que 7.
i) El tringulo tiene tres aristas pero la pirmide tiene cinco
aristas.
j) El oro es un metal sin embargo la plata tambin lo es.
k) Csar Vallejo escribi el Tungusteno y Rosa merino canto el
Himno Nacional.
l) El olluco es un tubrculo sin embargo Venus es un planeta.
ll) El lago Chinchaycocha est en Lima y el lago Titicaca en Puno.
m) El pentgono tiene 18 lados aunque el tringulo tiene 3 lados.
n) 6 > 7 y 15 < 8.
DISYUNCION
I.
1.1. Determina el valor de verdad de las proposiciones

siguientes. (15 PUNTOS)
a) El tringulo es un polgono cerrado o abierto.
b) El libro Un grito desesperado es voluminoso o interesante.
c) El actual presidente regional de Pasco es Cerreo o Pasqueo
d) Gualberto Gonzles Anda es pintor o escultor.
e) Cero es un nmero par o impar.
1.2 La propiedad conmutativa se cumple, tanto en la disyuncin
lgica como en la disyuncin en el lenguaje natural?. Presente un
ejemplo. (5 PUNTOS)
15

a. DISYUNCION INCLUSIVA:

La proposicin disyuntiva inclusiva de la forma p v q es verdadera siempre que p sea verdadera o que q sea verdadera
o que ambas variables proposicionales sean verdaderas. Es
falsa slo cuando ambas variables proposicionales son falsas.
b. TABLA DE VALORES DE VERDAD:

p v q
________________
V V V
V F
F V V
F F F
c. DISYUNCION EXCLUSIVA:

La proposicin disyuntiva exclusiva de la forma p q es verdadera si una y solamente una de las variables proposicionales,
es verdadera. En cualquier otro caso es falsa.
d. NOCION:

La disyuncin inclusiva lgica lo relacionamos con la reunin

de conjuntos.
e. TABLA DE VALORES DE VERDAD:
16
pq
________________
III. SOLUCIONARIO
1.1.
a) Verdadero
b) Verdadero
c) Verdadero
d) Verdadero
1.2.

P v q es equivalente a q v p
En el lenguaje natural se cumple:
Csar Viaj a Lima o asisti al seminario de matemtica, es equivalente a: Csar asisti al seminario de matemtica o viaj a Lima.

1. Determina el valor de verdad de las proposiciones siguientes.
a) El tringulo es un polgono cerrado o abierto.
b) Cero es un nmero par o primo.
c) Juan es alto o bajo.
d) Lus es profesor o mdico.
e) Cero de Pasco est a 3338 m.s.n.m. 0 4338 m.s.n.m.
NEGACION
I.
1.1 Determinar el valor de verdad de las siguientes proposiciones.

(15 PUNTOS)
a) No es el caso que ocho sea par.
b) No es el caso que ocho sea par y el universo est en expansin.
17
c) No tengo nada o soy muy rico

d) No es el caso que no viajes o seas infelz.
e) No es el caso que trece sea un nmero primo.
1.2 En el lenguaje lgico y en el lenguaje castellano, la doble negacin siempre equivale a su afirmacin?. Presente un ejemplo. ( 5
PUNTOS)
a. NEGACION:

La proposicin negativa de la forma ~p es verdadera solamente cuando la variable p es falsa y es falsa solamente cuando la
variable p es verdadera.
b. TABLA DE VALORES:

~p

c. NEGACION DE LA CONJUNCION Y DISYUNCION

Representados por las siguientes proposiciones:
~( p ^ q) y
~( p v q)
III. SOLUCIONARIO
1.1.
a) Falso
b) Falso
c) Verdadero o falso
d) Verdadero o falso
e) Falso
18
1.2.
~(~ p) es equivalente a p
En el lenguaje castellano no se cumple:
Yo no tengo nada.
Aunque en otros lenguajes como el ingles si se cumple.
1. Determinar el valor de verdad de las siguientes proposiciones.
a) No es el caso que siete sea par.
b) es falso que 5 sea un nmero primo.
c) Felipe no es ingeniero o no es mdico
d) 2 + 4 = 8 y 2 + 8 = 11
e) No es el caso que la lgica sea una ciencia.
Consolidando los nuevos problemas con los estudiantes de la FCECYD

19
CONDICIONAL E IMPLICACION
I.
1.- Cul de las siguientes proposiciones son: condicional contrafctico, implicacin, condicional e implicacin estricta?.
a) Si Per hubiera ganado a Colombia, entonces hubiera clasificado al campeonato mundial 2006.
b) Si 8 + 4 = 4 +5, entonces 2 es un nmero par
c) Si: 4 es nmero par y 4 es divisible por 2, entonces 4 es nmero par o 4 es divisible por 2.
d) Si: cero es par o no es par, entonces no es el caso que: cero
es par y cero no es par.
2.- Determinar el valor de verdad de las proposiciones siguientes:
a) En la geometra euclidiana, si dado un punto exterior a una
recta, entonces se puede trazar una recta paralela a la dada.
b) Si Daniel Alcides Carrin ha nacido en Quiulacocha, entonces
es colombiano.
c) Si todos los hombres son apristas, entonces algunos hombres
son apristas.
d) Si Fujimori hubiera despedido a Montesinos, entonces su
gobierno seguira en el poder.

a. CONDICIONAL:

20
La proposicin condicional de la forma p q, que tiene

como antecedente a p y como consecuente con q, es falsa
solamente cuando p es verdadera y q es falsa. En cualquier
otro caso es verdadera.

P
p q

c. CONDICIONAL CONTRAFACTICO:

Se denominan as, porque se acepta su correccin a pesar

de que sus antecedentes y sus consecuentes van contra los
hechos.
d. IMPLICACION:

Es todo condicional cuya matriz principal es siempre verdadera.
e. IMPLICACION ESTRICTA:

Es toda implicacin cuyo antecedente es siempre verdadero.
III. SOLUCIONARIO
I.
a) Condicional contrafctico
b) Condicional
c) Implicacin
d) Implicacin estricta
2.
a) Verdadero
b) Falso
c) Verdadero
d) Verdadero
21
IV. NUEVOS PROBLEMAS:

1.- Cul de las siguientes proposiciones son: condicional contrafctico, implicacin, condicional e implicacin estricta?.
a) Si Cristbal Coln no hubiera descubierto Amrica, entonces
no se habra conocido Per.
b) (p ^ ~ q) y (p v r)
c) (p v ~ p) y (q ^ ~ q)
d) Si Per hubiera ganado a Brasil entonces hubiera clasificado
al mundial.
e) Si Juan no va a Lima y Carlos va a Huancayo, entonces Carlos
no va a Huancayo o va a Lima.
BICONDICIONAL
I.
1.- Exprese en lenguaje lgico las siguientes expresiones. (4 puntos)

a) q, si y solamente si p.
b) No p si y solamente si p.
2.- Traducir a lenguaje lgico las siguientes expresiones: (4 puntos)
a) Un nmero es impar si y solamente si no es divisible por 2.
b) Obtendrs buena nota si y solamente si estudias.
3.- Dados los bicondicionales p q y r s, cules de las siguientes
proposiciones son equivalentes a uno de ellos?. (2 puntos)
a) p q y q r.
b)
p q y q p.
4.- Cuntas proposiciones atmicas existe y cules son?. (4 puntos)
a) Si est lloviendo o nevando entonces no est corriendo viento.
Y si no est corriendo viento entonces est nevando.
b) Si 2 > 4 y 5 < 3 entonces 2 es nmero par y 2 4.
5.- Son lgicamente equivalentes las siguientes proposiciones. (6
puntos)
22
a) ~ (p ^ q) y ~p v ~q
b) p q y ~p v q
a. BICONDICIONAL:

La proposicin bicondicional de la forma p q, es verdadera cuando las variables p y q tienen el mismo valor, esto es;
cuando ambas son verdaderas y cuando ambas son falsas. En
cualquier otro caso es falsa.

p q p q

________________

c. PROPOSICION ATOMICA:

Se dice que una proposicin es atmica cuando no contiene

entre sus signos a ninguna conectiva proposicional y puede
ser remplazada slo por una variable proposicional p.
d. PROPOSICION MOLECULAR:

Se dice que una proposicin es molecular cuando entre sus

signos contiene al menos una conectiva proposicional.
e. PROPOSICIONES LOGICAMENTE EQUIVALENTES:

Si una frmula bicondicional es verdadera en todos sus arreglos (tautologa), entonces sus dos miembros son entre s
proposiciones o frmulas lgicamente equivalentes.
III. SOLUCIONARIO
I.
23
a) q p
b) ~p p
2.
a) q ~p
d) p q
3.
pq yqp
4.
a) 3

p: Est lloviendo
q: est nevando
r: No est corriendo viento
b) 3

p: 2 > 4
r: 2 es un nmero par
q: 5 < 3
5.
a) ~ (p ^ q) es lgicamente equivalente a:
~p v~q
b) p q es lgicamente equivalente a: ~p v q
1.- Es lgicamente equivalente las siguientes proposiciones.

~ (p ^ q) y ~p ^ ~q
FORMULAS DEL LENGUAJE DE LA

LOGICA PROPOSICIONAL
I.
1.- Cules de las siguientes expresiones son frmulas del P.M.?. (4

puntos)
24
a) ~q ( p v q) p
b) (p q) (~p v q)
c) (p q) [ (p q) ^ (q p) ]
d) (p q) r (r v q)
2.- Ordenar las siguientes frmulas por el mtodo del parntesis: (4
puntos)

.
a) p q ^ q p

. .
.
b) p q q r p q
3.- Ordenar las siguientes frmulas por el mtodo de los puntos. (4

puntos)
a) [ (p q) ^ (q r) ] (p r)
b) ~(p ^ q) ~p v~q.
4.- Construir tablas de valores de verdad para las siguientes frmulas.
(8 puntos)

a) p q ^ q p
b) [ (p q) ^ (q r) ] (p r)
..
c) p q q r p q
d) ~(p ^ q) ~p v~q
a. REGLAS DE FORMACION DE FORMULAS LOGICAS:

Son las siguientes:
R1. Si p es una variable proposicional entonces es una frmula

del PM.
R2. Si p es una frmula del PM., entonces ~p es tambin una

frmula del PM.
25
Trabajo en equipo de los estudiantes de la

FCECYD, fundamental en la propuesta educativa
R3. Si p y q son frmulas del PM, entonces p ^ q, p v q, p

q, p q y p q son frmulas del PM.
R4. Son frmulas del PM., slo aquellas que son construidas
con la aplicacin de las reglas R1, R2 y R3.
b. JERARQUIA Y TABLA DE VALORES DE VERDAD:

Para la jerarqua de las conectivas lgicas, se tendr en cuenta

que la conectiva principal es la que est fuera del signo de
agrupacin y la conectiva secundaria es la que est dentro
del signo de agrupacin, generando una matriz principal y
secundaria respectivamente en la tabla de verdad. En la tabla
de valores tenemos:
p q (p q) p

26
______________________
MATRIZ PRINCIPAL
MATRIZ SECUNDARIA
c. PROPOSICION BIEN ESCRITA:

Una proposicin dada en el lenguaje lgico est bien escrita

si y slo si exista una jerarqua claramente establecida entre
sus conectivas. A esta jerarqua tambin se le llama un orden.
Asimismo una proposicin mal escrita carece de sentido.
d. LOS PUNTOS COMO SIGNOS DE AGRUPACION:

la conectiva que tiene el mayor nmero de puntos es el de

mayor jerarqua. Si se usan puntos y parntesis, entonces se
cumple que toda conectiva interna a los parntesis, aunque
tenga puntos, es de menor jerarqua que otra externa a los
parntesis aunque no tenga puntos.
e. TABLA DE VERDAD DE PROPOSICIONES:

Para su construccin se debe tener en cuenta la jerarqua de

las conectivas lgicas y los signos de agrupacin.
EJEMPLO:
p q
~p
[ (p ^ q) v (p ^ r)]
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Matrices secundarias
Matriz principal
III. SOLUCIONARIO
1.
b) (p q) (~p v q)
c) (p q) [ (p q) ^ (q p) ]
27
2.
a) (p q) ^ ( q p)
b) [ p q [ (q r) ( p q) ]
3.
..
a) p q ^ q r] (p r)

.
b) ~p ^ q ~p v~q.
4.
a) p q ^ q p
p q
(p q) ^ ( q p)
___________________________
V V
V F
F V
F F
d) ~(p ^ q) ~p v~q
p
~(p ^ q) ~p v~q
_________________________
V
V F
V V F
V
F V
F V V
F V V F V V
F
28
b) [ (p q) ^ (q r) ] (p r)
______________________________________
p q
[ (p q) ^ ( q r) ] ( p r )
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
V
MATRIZ PRINCIPAL
. .
c) p q q r p q
p q r
( p q ) [ ( q r) ( p q) ]
________________________________________
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
MATRIZ PRINCIPAL
29
V. NUEVOS PROBLEMAS
1.- Construir tablas de valores de verdad para las siguientes proposiciones.
a) ~ (p ^ q) ~p ^ ~r

. .
c) p q ~p v q
TAUTOLOGIAS Y PRINCIPIOS LOGICOS

I. RESUELVA LOS SIGUIENTES PROBLEMAS:
1.- Cules de las siguientes frmulas son tautologas, consistencias
o contradicciones?. (8 puntos)
a) (p ^ q) v r (~ p v ~q) ^~r
b) [ (p ^ q) v ~ p ] ( p v q)
c) (~ p v q) (~ q ~ p)
d) ( p ^ r) (~ q v r)
2.- Determine si las siguientes proposiciones son equivalentes: (6
puntos)
a) (p ^ ~ q) (r ^ ~ r) y
pq
b) (p q) ^ ( q r)
pr
c) ~( p q)
p ^~q
3.- Determine a qu frmulas tautolgicas corresponde los siguientes

razonamientos. (4 puntos)
a) Dados dos proposiciones distintas, ocurre que la segunda se
deduce de la primera o la primera de la segunda.
b) Si existe un dios, entonces existe un diablo o un dios.
4.- Determine si la siguiente afirmacin verdadera no es tautolgica.
(2 puntos)
a) Todo nmero natural es par o impar
30

a. FORMULAS TAUTOLOGICAS, CONSISTENTES Y CONTRADICTORIAS:

Las frmulas cuyos valores de verdad en la matriz principal son

verdaderos se llaman tautologas, mientras que las frmulas cuyos
valores de verdad en la matriz principal son algunos verdaderos y
otros falsos, se llaman consistencias y las frmulas cuyos valores de
verdad en la matriz principal son falsos, se llaman contradictorios.
b. FORMULAS LOGICAS Y PROPOSICIONES TAUTOLOGICAS:

Una frmula lgica es cuando el significado de la proposicin que

est representado por la variable proposicional p est indeterminada; mientras que las proposiciones tautolgicas tienen un
significado especfico, que es un prerrequisito para poder calificar
a una proposicin de verdadera y son tautolgicas, porque tienen
la forma de la frmula lgica p v ~p.
c. PRINCIPIOS LOGICOS:

Los lgicos desde Aristteles, hasta el siglo pasado, se referan a

tres principios lgicos fundamentales:
I Identidad.
Toda proposicin es verdadera s y slo si p es verdadera.
Simblicamente es:
p p
La tabla muestra que esta proposicin es tautolgica.
p
V V
F V
2 No contradiccin.

No es posible que una proposicin sea verdadera y falsa al mismo
tiempo.
Simblicamente es:
~ ( p ^ ~p)
31

p
~ ( p ^ ~p)
3 Tercio excluido

Toda proposicin es necesariamente verdadera o necesariamente

falsa. No existe una posibilidad intermedia.
Simblicamente es:
p v~p
p
p
v
~p
_______________________
V
III. SOLUCIONARIO
1.
a) (p ^ q) v r (~ p v ~q) ^~r
p q r
(p ^ q) v r (~ p v ~q ) ^ ~ r
____________________________________
32
V V V
F F F
V V F
F F F
V F V
F V V
V F F
F V V
V V
F V V
V V F
F V F
V V F
V V
F F V
V V V
F F F
V V V
V V
F
F
CONTRADICCION
b) [ (p ^ q) v ~ p ] ( p v q)
p q
[ (p ^ q) v ~ p ] ( p v q)
_________________________________
V V
V F V
V F
F F V
F V
V V V
F F
F
CONSISTENCIA
V V F
c) (~ p v q) (~ q ~ p)
p q (~ p v q ) (~ q ~ p)
___________________________
V
V F V V F
V
F
V
F F F V V
F
F
F
V V V V F
V
V
F
F V V V V
V
V
TAUTOLOGIA
d) ( p ^ r) (~ q v r)
p q
( p
r ) (~q v
r )
V V V
V V V V F V V
V V F
V F F V F F F
V F V
V V V V V V V
V F F
V F F V V V F
F V V
F F V V F V V
F V F
F F F V F F F
F F V
F F V V V V V
F F F
F F F V V V F
33
TAUTOLOGIA
2.
a) (p ^ ~ q) (r ^ ~ r) y
p q
(p ^ ~ q) ( r
pq
^ ~ r)
V V V V
F F V V F F
V V F V
F F V F F V
V F V V V V F V F F
V F F V V V F F F V
F V V F F F V V F F
F V F F F F V F F V
F F V F F V V V F F
F F F F F V V F F V
SON EQUIVALENTES
c) ~( p q)
p q
~( p q)
p ^~q
V V
V F F
V F
V V V
F V
F F F
F F F
V
SON EQUIVALENTES
p q
p ^~q
F F V
b) (p q) ^ ( q r)
34
pq
(p q ) ^ ( q r)
pr
p r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
NO SON EQUIVALENTES
c) ~( p q)
p ^~q
3.
a) (p q) v (q p)
b) p ( q v p )
4.
a) p v ~ p
VI. NUEVOS PROBLEMAS
1.- Construir tablas de valores de verdad para cada una de las siguientes proposiciones.
a) [ (p ^ q) v ~p ] (p v q)
b) ( p q ) (q p)
c) ( p q ) r
d) p ( q r )
e) (~p v q ) (~q ~p )
f) (p ^ ~q ) r
35
INFERENCIAS
I.
1.- Determinar si los siguientes razonamientos son vlidos o no

vlidos. (10 puntos)
a) Si la conjetura de Goldbach es nica, entonces no puede ser
un teorema. La conjetura de Goldbach es nica, por lo tanto
no puede ser un teorema.
b) Un nmero es par o impar, Pero no es par. Luego es impar.
c) Si Godel hubiera estado joven, entonces habra demostrado la
conjetura de Goldbach. Pero Godel no demostr la conjetura
de Goldbach. Por lo tanto Godel no estaba joven.
d) Csar es buen alumno o buen hijo. Csar no es buen alumno.
Por lo tanto Csar es buen hijo.
e) Lus es buen alumno o buen jugador. Lus es buen alumno.
En consecuencia Lus es buen jugador.
2.- Determine si las premisas implican a la conclusin: (10 puntos)
a) ( (p q) ^ p)
b) ( (p v q) ^ ~ p) q
c) ( (p ^ q) ^ p) q
d) ( (p q) ^ (q r )) (p r)
e) ( (p q) ^ (p r )) (q r)
a. DEFINICION DE INFERENCIA:

Una inferencia es una operacin lgica por la que a partir de

la postulacin de la verdad de ciertas proposiciones llamadas
premisas, se deriva la verdad de otra proposicin llamada
conclusin. Simblicamente es:
( .. ^ ..)
PREMISAS
36
( ..)
CONCLUSION
b. FORMALIZACION LOGICA DE UN ARGUMENTO:

Denominamos as a todo proceso de traduccin de un argumento dado en lenguaje natural al lenguaje lgico; asimismo,
cuando una demostracin matemtica es traducida al lenguaje
lgico tambin se dice que ha sido formalizada.
c. ARGUMENTO LOGICAMENTE VALIDO E INVALIDO:

Un argumento A es lgicamente vlido si y slo si, al ser traducido al lenguaje lgico, el condicional resultante que tiene
como antecedente a la traduccin de las premisas de A y como
consecuente con la traduccin de la conclusin de A es una
tautologa. Si no es tautologa, el argumento es lgicamente
invlido.
d) FORMAS CONOCIDAS DE ARGUMENTO:

En seguida listaremos las formas de argumento lgicamente

vlidas, que a menudo recurre el razonamiento matemtico
y tambin lo formulado en lenguaje natural.
Estudiantes de la FCECYD socializando la estrategia

metodolgica propuesta
37
MODUS PONENS
Pq
P
q
MODUS TOLLENS
Pq
~q
~ p
SILOGISMO DISYUNTIVO
pvq
~p
q
SILOGISMO HIPOTETICO
pq
qr
p r
38
ADICION
p
p v q
SIMPLIFICACION
p ^

q
p
SIMPLIFICACION
p ^

q
q
EJEMPLO:
Determine si el siguiente razonamiento es vlido o invlido.
Miguel es buen estudiante o buen deportista, pero Miguel no es
buen estudiante. Por lo tanto Miguel es buen deportista.
SOLUCION:
Formalizando el argumento tenemos:
Miguel es buen estudiante:
Miguel es buen deportista:
Miguel no es buen estudiante:
~p
39
pvq
~p
q
Como podemos apreciar responde a una frmula lgicamente vlida denominada Modus Ponens, sin embargo lo
probaremos en una tabla de valores de verdad. Esto es:
p q
((p v q)
^ ~ p)
V V
F F V V
V F
F F V F
F V
V V V V
F F
F V V F
TAUTOLOGIA
Por lo tanto el razonamiento es vlido.

III. SOLUCIONARIO
1.
a)

La conjetura de Goldbach es nica.
La conjetura de Goldbach no es un teorema.
~q
Frmula lgica:
( (p q) ^ p) ~q
Evaluados en una tabla de valores de verdad es:
p q
40
( (p q ) ^
p)
~q
V V
V V F
V F
F
V
V F
F
V F
F
F
V F
F
V V
V V
Luego la inferencia es no vlida.

b)

Un nmero es par. P

Un nmero es impar. q

Frmula lgica:
( ( p v q) ^ ~ p) q
Evaluados en una tabla de valores de verdad es Tautologa y

tambin responde al razonamiento vlido Modus Ponens.
Por lo tanto la inferencia es vlida.
c)

Godel hubiera estado joven.
Godel habra demostrado la conjetura de Goldbach.
Frmula lgica:
( ( p q) ^ ~ q) ~ p

tambin responde al razonamiento vlido Modus Tollens.
d)

Csar es buen alumno. P

Csar es buen hijo. q

Frmula lgica:
( ( p v q) ^ ~ p) q

tambin responde al razonamiento vlido Silogismo Disyuntivo.
e) Lus es buen alumno o buen jugador. Lus es buen alumno.

En consecuencia Lus es buen jugador.
41

Lus es buen alumno. P

Lus es buen jugador. q

Frmula lgica:
( ( p v q) ^ p) q
Evaluados en una tabla de valores de verdad es consistencia.

Esto es:
p q
((p v q)
^ p)
V V
V V
V F
V V
F V
F F
F F
F F
F
CONSISTENCIA
Por lo tanto la inferencia es no vlida.

2.-
a) ( (p q) ^ p)

Las premisas implican a la conclusin, debido a que responde

al razonamiento vlido Modus Ponens.
b) ( (p v q) ^ ~ p) q


al razonamiento vlido Modus Tollens.
c) ( (p ^ q) ^ p) q

V V V V
F V V F
F F V V
[ (p ^ q ) ^
p]
q)
F
TAUTOLOGIA
42
Las premisas implican a la conclusin.

d) ( (p q) ^ (q r )) (p r)


al razonamiento vlido Silogismo hipottico.
e) ( (p q) ^ (p r )) (q r)
p q
( (p q ) ^ ( p r) ) ( q r)
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
V
CONSISTENCIA
Las premisas no implican a la conclusin.
Consolidando la propuesta metodolgica con los

estudiantes de la FCECYD
43
SABER LOGICA MATEMTICA ES SABER RESOLVER

PROBLEMAS
PROBLEMA 1
Si el resultado final y los resultados parciales en la siguiente
frmula lgica:
~ (p v q) ~ p ^ ~ q
Son verdaderos, entonces determina el valor de verdad de p y
de q.
a) V, V
b) V, F
I. Estimacin de soluciones.
c) F, V
d) F, F
e) N.A.
Se trata de determinar el valor de verdad de p y de q. Sus posibles

respuestas en cada una de ellas es: Verdadero (V) falso (F).
Para ello es necesario conocer y dominar mnimamente los resultados de la evaluacin de los conectivos lgicos: negacin(~),
disyuncin dbil (v), conjuncin (^) y doble implicacin ()
PROBLEMA 2
Si, al evaluar la siguiente frmula lgica:
~ (p ^ q) ~ p v ~ q
Resulta que el valor final de verdad es verdadero (V) y los valores
de verdad parcial son falsos (F). Determina el valor de verdad de p
y de q.
a) V, F
b) F,V
c) F, F
d) V, V
e) N.A.
-
Necesitamos saber el valor de verdad de p y de q, cuyas posibles

respuestas son: Verdadero (V) falso (F).
Ahora puedes trabajar la familiarizacin con los siguientes problemas!.
PROBLEMA 3
Si el resultado final y los resultados parciales en la siguiente
frmula lgica:
44
((p q) ^(r ~ q) ^ r)) ~ p

Es verdadero y falsos, entonces determina el valor de verdad de
p y de q.
a) V, V, V b) V, F, F c) F, V, F d) F, F, V e) F, F, F
.....................................................................................................................
.....................................................................................................................
.....................................................................................................................
.....................................................................................................................
PROBLEMA 4
Determinar el valor de verdad de toda la frmula lgica:
((q p) ^ ~ (r v ~ p)) ( ~ q r)
a. Tautologa
b. Consistencia
c. Contradiccin
d. Faltan datos
e. Ninguna
......................................................................................................................
......................................................................................................................
....................................................................................................................

La lgica matemtica, por diversos motivos va resultando un saber

tan central en la cultura del presente, y con toda probabilidad
an ms en el futuro.
II. SOCIALIZACION DE LA SOLUCION MS VIABLE

Involucra:
- Empezar por lo fcil.
- Experimentar
- Hacer esquemas, figuras o diagramas.
45
- Escoger un lenguaje adecuado.

- Escoger una notacin apropiada.
- Buscar un problema semejante.
- Inducir.
- Suponer el problema resuelto.
- Suponer que el problema no est resuelto.
- Intuir
PROBLEMA 1
I. Socializacin de la solucin ms viable.
-
Ubicar el resultado final y tambin los parciales a la altura de los

respectivos conectivos lgicos.
Contando con la teora respectiva de los conectivos lgicos:

Negacin (~), disyuncin dbil (v), conjuncin (^) y doble implicacin (); tanteamos los posibles valores de verdad de p y de
q respectivamente.
PROBLEMA 2
-
La frmula lgica llevar a la tabla de valores de verdad con dos

proposiciones p y q; y evaluarlos a la luz de la teora de los conectivos lgicos como: Negacin (~), disyuncin dbil (v), conjuncin
(^) y doble implicacin ().
PROBLEMA 3
I.
Socializacin de la solucin ms viable.
......................................................................................................................
......................................................................................................................
......................................................................................................................
....................................................................................................................
PROBLEMA 4
.....................................................................................................................
46
.....................................................................................................................
.....................................................................................................................
.....................................................................................................................

Tener una idea clara, un modelo; al que pensamos que

nuestra forma de proceder se debe ajustar.
III. RESOLUCION DE PROBLEMAS, EXPOSICION DE

SOLUCIONES Y SELECCIN DE LA SOLUCION RELACIONADO AL TEMA
Considera:
-
Seleccionar las mejores ideas que se te hayan ocurrido en la fase

anterior.
Lleva adelante stas mejores ideas.
Acta con flexibilidad.
No te arrugues fcilmente.
No te aferres a una sola idea.
Si las cosas se complican demasiado, probablemente hay otra va.
- Sali? -
-
Seguro?.
Mira a fondo tu solucin.
PROBLEMA 1
III. Resolucin del problema, exposicin de solucin y seleccin de solucin relacionado al tema.
-
Ubicamos el valor de verdad (V) o falso (F) general y parciales

en la frmula lgica.
~ (p v q)
~ p
~q
Resultado Resultado Resultado

Parcial General Parcial
V V V
F F F
F F
47
Verificamos, que los valores de verdad asignados a p y q cumplen

con la teora de los conectivos lgicos.
Por lo tanto, los valores de verdad de las proposiciones p y q son

falsas (F).
PROBLEMA 2
IV. Resolucin del problema, exposicin de solucin y seleccin de solucin relacionado al tema.
- Ubicamos la frmula lgica en la tabla de valores de verdad
y evaluamos de acuerdo a la teora de los conectivos lgicos;
es decir:
P q
~(p ^ q)~p
~q
_______________________________________
V V
V F
V F
V F
F V
V F
V V
F F
V F
V V
Resultado Resultado Resultado

-
Parcial General Parcial

Ubicamos en la fila el caso propuesto y encontramos que est
ubicado en la primera fila.
Por lo tanto los valores de verdad de p y de q son verdaderos (V).
PROBLEMA 3
III Resolucin del problema, exposicin de solucin y seleccin de solucin relacionado al tema.
PROBLEMA 4
III Resolucin del problema, exposicin de solucin y seleccin de solucin relacionado al tema.

48
Hay que hacer un enfrentamiento personal directo con los

problemas que se proponen, para adquirir las rutinas correspondientes.
IV. INTRODUCCION DE NUEVOS CONCEPTOS Y FRMULACION DE NUEVOS PROBLEMAS

Comprende:
- Examinar a fondo el camino seguido.
- Cmo se ha llevado la solucin?
- Por qu no se lleg a la solucin?
-
No basta saber que la solucin funciona, sino porqu funciona.
- Trata de hallar el camino ms simple

- Trata de ver, hasta donde llega la estrategia empleada.
- Reflexione sobre tu propio proceso de pensamiento.
- Saca consecuencias para el futuro.
PROBLEMA 1
IV. Introduccin de nuevos conceptos y formulacin de
nuevos problemas.

Despus de haber reflexionado sobre los 3 procedimientos anteriores decimos:

- El problema responde a una de las leyes de Morgan.
- Los valores de verdad encontrados para p y q como falsas,
responde a uno de los cuatro casos evaluados en la tabla de
valores de verdad.
- En problemas parecidos al formulado, sugiero emplear el
tanteo, cuando se trata de tres o ms proposiciones; en caso
contrario no.
- Por lo tanto, nos ratificamos en nuestra respuesta. Valor de
verdad para p y q son falsas (F).
PROBLEMA 2
nuevos problemas.
- La estrategia empleada es aplicable, cuando se trata de un
mximo de hasta tres proposiciones, en caso contrario debera aplicarse la estrategia del tanteo.
49
Hay que conocer y dominar la teora de las proposiciones en

general y el de los conectivos lgicos en particular.
- Nos ratificamos en nuestra respuesta emitida.

PROBLEMA 3
nuevos problemas.
.....................................................................................................................
.....................................................................................................................
.....................................................................................................................
.....................................................................................................................
PROBLEMA 4
nuevos problemas.
.....................................................................................................................
.....................................................................................................................
.....................................................................................................................
.....................................................................................................................
.....................................................................................................................

Tener una forma de examinar nuestro proceso y nuestra

prctica, pues sucede con frecuencia que nuestra atencin en
la ocupacin con un problema se centra en el resultado que
obtenemos alrededor del problema, pero no en el proceso.
PROBLEMAS PROPUESTOS
Ahora, resuelva los siguientes problemas, poniendo en prctica
el mtodo de resolucin de problemas
PROBLEMA 5
La siguiente frmula lgica:
p ( p ^ ~ q)
Es equivalente a otra frmula lgica. Cul es?
a) ~ p v ~ q
b) ^ p ^ ~ q
50
c) ~ p v q
d) p v q
e) p v ~ q
PROBLEMA 6
La siguiente frmula lgica:
~ (P q) ( q ^ ~ q)
Es equivalente a otra frmula lgica. Cul es?
a) ~ p v q
b) p
c) q
d) p v q
e) p v ~ q
PROBLEMA 7
((p q) ^ (r ~ q) ^ r) ~ p
a) Tautologa
b) Consistencia
c) Contradiccin
d) Faltan datos
e) Ninguna
PROBLEMA 8
(r v(r ^t)) ^(((p^q)v(~ p ^ ~ q ))v((pvq) v( ~ qv ~ p))
51
a) Tautologa
b) Consistencia
c) Contradiccin
d) Faltan datos
e) Ninguna
PROBLEMA 9
Al simplificar la frmula lgica tenemos:
p ( q ^ ( q p) )
a) ~ p v q
b) p v q
c) q v p
d) ~ p ^ q
e) p ^ q
PROBLEMA 10
Dadas las siguientes inferencias:
I) Si Germn bebe vino, el tiene ms de 18 aos. Germn no bebe
vino. Luego Germn no tiene ms de 18 aos.
II) Si estudio lgica matemtica, entonces no fallar en este curso.
Si no me distraigo demasiado, entonces estudiar. He fallado en
este curso. Por lo tanto: Me distraigo demasiado.
Son vlidas:
a) Slo I
b) Slo II
c) Slo I y II
d) Faltan datos
e) Ninguna
52
BIBLIOGRAFIA
-
Kopin, V. Lgica General. Editorial Kapeluz, Argentina. 1998.
Rosales, Digenes. Lgica General. Editorial Universo. Per. 1999.
Piscoya, Lus. Lgica General. Editorial. San Marcos. Per. 2000
Kaufman, R. Lgica Proposicional. Editorial. Trillas. Mxico. 1998.
Mostern. J. Lgica de Primer Orden. Editorial Limusa. Espaa.

1995
53
BIOGRAFIA DE FRANCISCO MIRO QUESADA

Francisco Mir Quesada (1918- ), filsofo peruano. Nacido en
Lima, fue profesor en dos universidades de su ciudad natal, la Peruana
Cayetano Heredia y la Nacional Mayor de San Marcos. Algunas de
las principales aportaciones de su pensamiento se centraron en la
reivindicacin de la exactitud en el planteamiento de los problemas
filosficos. Para ello, Mir Quesada aplic los logros de la lgica y de
las matemticas, as como la defensa de una filosofa racionalista que
subraya la importancia del mtodo y de la exactitud. Para l, la filosofa
se sita en el mbito de las ciencias, por lo que prest una atencin
especial al desarrollo de las llamadas lgicas no ortodoxas. La razn
posee un dinamismo propio y sus contradicciones pueden refinar su
empleo, pero nunca detener su fuerza. Realiz, adems, interesantes
anlisis sobre la unidad posible entre la lgica terica y la lgica de las
acciones, en la bsqueda de la estructura de la logicidad pura.
54
55

Texto Logico Matematico 1 Aaaa

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Texto Logico Matematico 1 Aaaa

Cargado por

Copyright:

Formatos disponibles

PRESENTACIN

Deseando contribuir en la solucin de la mejora de una educacin

F. Armando ZENTENO RUZ

METODO DE RESOLUCION DE PROBLEMAS

1. RESUELVA LOS SIGUIENTES PROBLEMAS

1. RESUELVA LOS SIGUIENTES PROBLEMAS

1. RESUELVA LOS SIGUIENTES PROBLEMAS 16

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

F. Armando ZENTENO RUZ

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

Involucra los procedimientos:

II. Estimacin de soluciones.

III SOCIALIZACION DE LA SOLUCION MS VIABLE

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

- En grupos y equipos constituidos.

VI SELECCIN DE LA SOLUCION RELACIONADO AL TEMA

VII INTRODUCCIN DE NUEVOS CONCEPTOS

VIII FORMULACION DE NUEVOS PROBLEMAS

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

II. NUEVOS CONCEPTOS

Es toda secuencia finita de signos que con sentido puede ser

2.2 PROPOSICIN ELPTICA:

Es una proposicin abreviada.

Es un lenguaje que se usa para describir otro lenguaje llamado

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

IV. NUEVOS PROBLEMAS

F. Armando ZENTENO RUZ

o) Csar Vallejo naci en 1892.

RESUELVA LOS SIGUIENTES PROBLEMAS:

1.1 Cul es el valor de verdad de las siguientes proposiciones?. ( 12

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

II. NUEVOS CONCEPTOS

Son variables preposicionales, aquellos que tienen la funcin de

Si las variables proposicionales p y q representan cualquier par

La conjuncin lgica lo relacionamos con la interseccin de conjuntos..

d. TABLA DE VALORES DE VERDAD:

F. Armando ZENTENO RUZ

Tiene 8 posibles valores de verdad y son:

IV. NUEVOS PROBLEMAS

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

RESUELVA LOS SIGUIENTES PROBLEMAS:

1.1. Determina el valor de verdad de las proposiciones

F. Armando ZENTENO RUZ

II. NUEVOS CONCEPTOS

b. TABLA DE VALORES DE VERDAD:

La disyuncin inclusiva lgica lo relacionamos con la reunin

e. TABLA DE VALORES DE VERDAD:

METODO DE RESOLUCIN DE PROBLEMAS EN LGICA MATEMTICA

F. Armando ZENTENO RUZ

En el lenguaje lgico se cumple:

En el lenguaje natural se cumple: