Matematica Basica Utp - 21-30

MATEMTICA BSICA I
a)
Inferencia de la separacin (modus ponens)

pq
p
b)
Principio de la inferencia negativa (modus tolens)

pq
q
p
c)
Principio del silogismo

pq
qr
pr
21
MATEMTICA BSICA I
EJERCICIOS PROPUESTOS
a)
Utilizando las leyes del lgebra Proposicional, simplificar las

siguientes proposiciones:
S
1.
(p
F)
(p
2.
(p
V)
S aS
4.
(p
F)
(p
5.
(p
6.
(aS T
7.
Es falso que, si Carlos es estudioso entonces Juana es
V)
q)
inteligente.
8.
No es cierto que, la fruta es madura y el rbol es alto.
9.
No es cierto que, el ro es caudaloso o Mara no es bonita.
10.
No es verdad que, si las aves vuelan entonces las flores no

son bellas.
11.
No es verdad que, Carlos es buen estudiante y Mara no es

bonita.
12.
Demostrar que si el siguiente Silogismo es Tautolgico:

-
Si Carlos es deportista y Ana es estudiosa; entonces las

flores son bellas; y,
Si las flores no son bellas; entonces Carlos no es

deportista y Ana es estudiosa;
Entonces:
Si, Ana no es estudiosa ni Carlos es deportista; entonces
las flores son bellas.
22
MATEMTICA BSICA I
13.
Si, est lloviendo; entonces hace fro o est nevando; y,
Si, no est nevando o hace fro, pero no ambos,

entonces no est lloviendo.
Entonces:
Si, hace fro s y slo s est nevando; entonces no est
lloviendo; y,
Si, no llueve ni hace fro; entonces est nevando.
14.
Escriba la contrarrecproca de la proposicin:

Si, hace fro entonces est lloviendo.
Si, no est nevando entonces est lloviendo.
Si, las flores no son bellas entonces la fruta no es
agradable.
Antonio es deportista y Ana no es estudiosa.
15.
Demostrar la validez de las inferencias:

15.1
[ (p q)
p] p
15.2
[ (p q)
~p] ~q
15.3
[ { (p
15.4
[ {p (q
q) (q
r) }
~r) }
23
{q
{ (~p
q) r } ] ~p
(r p) } ] ~ (p
q)
MATEMTICA BSICA I
1.6. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES

Toda proposicin expresa una cualidad o caracterstica a un
sujeto particular. Una misma, cualidad, calidad o caracterstica
puede predicarse para varios sujetos; en cada caso se obtendr
una proposicin. Si P es una cualidad, calidad o caracterstica;
denotaremos con p(x) al conjunto de todas las proposiciones
singulares obtenidas al sustituir x por un sujeto; quedando definida
la funcin preposicional con una variable. p(x) no es una
proposicin.
A partir de funciones preposicionales es posible obtener
proposiciones generales que se conocen como cuantificadores.
Una proposicin queda cuantificada; s y slo s, alguna cualidad o
caracterstica se cumple para algunos o todos los sujetos.
1.
Cuantificador Universal [
x : p(x)]
Cuando una cualidad o caracterstica se cumple para todos

los sujetos:
2.
x : p(x)
Todos los hombres son mortales.
x : q(x)
Todas las tortugas tienen caparazn.
Cuantificador Existencial [ x : p(x)]

Una proposicin queda cuantificada existencialmente; s y
slo s, alguna cualidad o caracterstica se cumple para
algunos sujetos.
x : p(x)
Algunas damas son virtuosas.
y : q(y)
Algunos jvenes son deportistas.
z : r(z)
Algunos perros muerden.
24
MATEMTICA BSICA I
1.7. NEGACIN DE CUANTIFICADORES

1.
La negacin del cuantificador universal es, s y slo s,

existencial; y la proposicin queda negada
~ [ x: p(x)]
2.
x : ~ p (x)
La negacin del cuantificador existencial, es Universal y la

proposicin queda negada.
~ [ x : p(x)]
x: ~ p (x)
Ejemplos:
1.
Negar todos los jvenes son deportistas.

Rpta. Algunos jvenes no son deportistas.
2.
Algunas aves vuelan.

Rpta. Todas las aves no vuelan.
3.
Si algunas damas son virtuosas entonces todos los das est

lloviendo.
~ [ x : p (x)]
y: q(y)]
x : p (x)
y : ~ q (y)
Rpta. Algunas damas son virtuosas y algunos das no est

lloviendo.
4.
Todos los jvenes son deportistas y algunas aves tienen

plumas.
~(
x: p(x)
y: q(y)]
x: ~ p(x)
y: ~ q(y)
Rpta. Algunos jvenes no son deportistas, o todas las aves

no tienen plumas.
25
MATEMTICA BSICA I
EJERCICIOS PROPUESTOS
Enunciados
1.
Indicar diez ejemplos de enunciados.
2.
Indicar diez ejemplos de enunciados referentes a la universidad.
3.
Indicar diez ejemplos de enunciados referentes al Per.
4.
Indicar diez ejemplos de enunciados referentes al sistema solar.
5.
Proposiciones
De los ejemplos indicados anteriormente, indique cules son
proposiciones y anteponga una letra: p; q; r ..................
6.
Negacin de proposiciones
Los ejercicios anteriormente citados, negar y anteponer: ~ p; ~ q;
~ r; ...................
7.
Con los ejercicios del grupo II, relacionar mediante el conectivo

conjuncin. Represente sus tablas de verdades.
8.
Los ejercicios del grupo III relacionar, mediante el conectivo

disyuncin. Representar las tablas de verdades.
9.
Ponga ejemplos de proposiciones compuestas con los conectivos:

conjuncin y disyuncin. Demuestre sus tablas de verdades.
Ejemplo:
9.1.
p
(q
(p
q)
r)
Responda con oraciones declarativas.

10.
Indique ejemplos con oraciones declarativas de proposiciones

compuestas
con los
conectivos:
implicacin.
26
conjuncin,
disyuncin e
MATEMTICA BSICA I
Ejemplo:
10.1. (p
q) (q
10.2. (p q)
(p
r)
r)
Responda con oraciones declarativas. Demuestre sus tablas de

verdades.
11.
Indique
ejemplos
conectivos:
de
proposiciones
conjuncin,
disyuncin,
compuestas
con
implicacin
los
doble
implicacin.
Ejemplo:
11.1. (p
q) (r q) }
11.2. { p ~(q
(p r)
r) } (r
q)
Responda con oraciones declarativas. Demuestre sus tablas de

verdades.
12.
Indique
ejemplos
de
proposiciones
compuestas
con
los
conectivos: conjuncin, disyuncin, implicacin, doble implicacin

y conjuncin negativa, ejemplo:
Ejemplos:
12.1. { (p q) (q
~ r) } (p
12.2. { (p q) (r
~ p) } (~ q
~ q)
p)
Responda sus ejemplos con oraciones declarativas. Demuestre

sus tablas de verdades.
13.
Indique
ejemplos
de
proposiciones
compuestas
con
los
conectivos; conjuncin, disyuncin, implicacin, doble implicacin;

conjuncin negativa y disyuncin exclusiva.
Ejemplos:
{ (p
q) (q r) } { (p
{ (p ~q) v (r
~p) } { (r
~ r) v (q
~q) (q
27
~ p)
r) }
MATEMTICA BSICA I
CUANTIFICADORES
1.
Cuantificar universalmente y existencialmente las proposiciones:

p
Las flores son bellas
Carlos es deportista
Mara es estudiosa
Antonio es libre
Representar
con
oraciones
declarativas,
utilizando
las
proposiciones indicadas.
1.1
x : p(x)
1.2
x : p(x)
1.3
y : ~ q(y)
1.4
y : q(y)
1.5
z : r(z)
1.6
z : ~ r(z)
1.7
u : s (u)
1.8
u : ~ s (u)
Las proposiciones:
(1.1) y
(1.3)
relacionar mediante la conjuncin.
(1.2) y
(1.4)
relacionar mediante la disyuncin.
(1.5) y
(1.4)
relacionar mediante la implicacin.
(1.6) y
(1.8)
relacionar mediante la doble

implicacin.
(1.7) y
(1.2)
relacionar mediante la conjuncin

negativa.
(1.5) y
(1.1)
relacionar mediante la disyuncin

exclusiva.
Utilizar las Leyes de Morgan en las relaciones proposicionales

anteriores libremente.
28
MATEMTICA BSICA I
Representar con oraciones declarativas las proposiciones:

x : p(x)
y : q (y)
y : ~ q (y)
p
x ~ p (x) {q
z ~ r (<)
z: ~ r(2)}
{p
y : q(y)} v { y: ~ q(y) ~ p}
{p
u : ~ s(y) } {q
z : ~ r(z) }
Con las proposiciones:

p
las flores son bellas.
El caballo es de paso.
Fernando es buen profesional.
Lizeth es bonita.
Negar las proposiciones compuestas y representar con oraciones

declarativas la respuesta:
x : p (x)
x : ~ p(x)
y : ~ q (y)
y : q (y)
x : p(x)
z : ~ r (z)
z : r(z)
y : ~ q (y)
u : s(u)
z : ~ r (z)
u : ~ s(z)
z : r (z)
z : ~ r(z)
u : s (u)
Simplificar las proposiciones, utilizando las leyes del lgebra

Proposicional.
1)
~ (p
~ q)
2)
~ (~ p q)
3)
~ (p
~ q)
4)
~ (~ p
5)
~ (~ p ~ q)
6)
~ (~ p ~ q)
29
~ q)
MATEMTICA BSICA I
Simplificar las siguientes proposiciones:

1.
No es verdad que, si las rosas son rojas entonces las

violetas son azules.
2.
No es verdad que, hace fro y est lloviendo.
3.
No es verdad que, l es bajo o galn.
4.
No es verdad que, hace fro est lloviendo.
5.
No es verdad que, si est lloviendo entonces hace fro.
6.
No es verdad que, si las rosas son rojas entonces las

violetas no son azules.
Con las leyes del lgebra Proposicional simplificar:

1.
(p
2.
3.
~ (p
~ p
q)
q)
(p
q)
(~p
T
Demostrar los siguientes silogismos:

1.
Si, Carlos es inteligente o Lizeth es bonita; entonces Ana es

responsable; y
Ana no es responsable y Carlos es inteligente; s y slo s,
Lizeth es bonita; entonces
Ana no es responsable ni Carlos es inteligente; s y slo s,
Lizeth es bonita.
2.
Est lloviendo o hace calor, pero no ambos; y hace fro; y

Si, no hace fro ni calor; entonces est lloviendo; entonces
hace calor o hace fro, pero no ambos; s y slo s, no est
lloviendo.
30

Matematica Basica Utp - 21-30

Cargado por

Copyright:

Formatos disponibles

Matematica Basica Utp - 21-30

Cargado por

Información del documento

Descripción 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

Matematica Basica Utp - 21-30

Cargado por

Copyright:

Formatos disponibles

MATEMTICA BSICA I

Inferencia de la separacin (modus ponens)

Principio de la inferencia negativa (modus tolens)

Principio del silogismo

Utilizando las leyes del lgebra Proposicional, simplificar las

Es falso que, si Carlos es estudioso entonces Juana es

No es cierto que, la fruta es madura y el rbol es alto.

No es cierto que, el ro es caudaloso o Mara no es bonita.

No es verdad que, si las aves vuelan entonces las flores no

No es verdad que, Carlos es buen estudiante y Mara no es

Demostrar que si el siguiente Silogismo es Tautolgico:

Si Carlos es deportista y Ana es estudiosa; entonces las

Si las flores no son bellas; entonces Carlos no es

Si, est lloviendo; entonces hace fro o est nevando; y,

Si, no est nevando o hace fro, pero no ambos,

Escriba la contrarrecproca de la proposicin:

Demostrar la validez de las inferencias:

1.6. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES

Cuando una cualidad o caracterstica se cumple para todos

Todos los hombres son mortales.

Todas las tortugas tienen caparazn.

Cuantificador Existencial [ x : p(x)]

Algunas damas son virtuosas.

Algunos jvenes son deportistas.

Algunos perros muerden.

1.7. NEGACIN DE CUANTIFICADORES

La negacin del cuantificador universal es, s y slo s,

La negacin del cuantificador existencial, es Universal y la

Negar todos los jvenes son deportistas.

Algunas aves vuelan.

Si algunas damas son virtuosas entonces todos los das est

Rpta. Algunas damas son virtuosas y algunos das no est

Todos los jvenes son deportistas y algunas aves tienen

Rpta. Algunos jvenes no son deportistas, o todas las aves

Indicar diez ejemplos de enunciados.

Indicar diez ejemplos de enunciados referentes a la universidad.

Indicar diez ejemplos de enunciados referentes al Per.

Indicar diez ejemplos de enunciados referentes al sistema solar.

Con los ejercicios del grupo II, relacionar mediante el conectivo

Los ejercicios del grupo III relacionar, mediante el conectivo

Ponga ejemplos de proposiciones compuestas con los conectivos:

Responda con oraciones declarativas.

Indique ejemplos con oraciones declarativas de proposiciones

Responda con oraciones declarativas. Demuestre sus tablas de

Responda con oraciones declarativas. Demuestre sus tablas de

conectivos: conjuncin, disyuncin, implicacin, doble implicacin

Responda sus ejemplos con oraciones declarativas. Demuestre

conectivos; conjuncin, disyuncin, implicacin, doble implicacin;

Cuantificar universalmente y existencialmente las proposiciones:

Las flores son bellas

relacionar mediante la conjuncin.

relacionar mediante la disyuncin.

relacionar mediante la implicacin.

relacionar mediante la doble

relacionar mediante la conjuncin

relacionar mediante la disyuncin

Utilizar las Leyes de Morgan en las relaciones proposicionales

Representar con oraciones declarativas las proposiciones:

Con las proposiciones: