Você está na página 1de 10
MATEMÁTICA BÁSICA I a) Inferencia de la separación (modus ponens) p q p q . b)

MATEMÁTICA BÁSICA I

  • a) Inferencia de la separación (modus ponens)

p q p q .
p q
p
q
.
  • b) Principio de la inferencia negativa (modus tolens) p q q

p
p
  • c) Principio del silogismo p q q r

  • p r

21

MATEMÁTICA BÁSICA I

MATEMÁTICA BÁSICA I EJERCICIOS PROPUESTOS a) Utilizando las leyes del Álgebra Proposicional, simplificar las siguientes proposiciones:

EJERCICIOS PROPUESTOS

  • a) Utilizando las leyes del Álgebra Proposicional, simplificar las siguientes proposiciones:

1. (p F) (p 2. (p V) 4. (p F) (p V) 5. p (p q)
1.
(p
F)
(p
2.
(p
V)
4.
(p
F)
(p
V)
5.
p
(p
q)
6.
p (
  • 7. Es falso que, si Carlos es estudioso entonces Juana es inteligente.

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

  • 9. No es cierto que, el río es caudaloso o María 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 María no es bonita.

    • 12. Demostrar que si el siguiente Silogismo es Tautológico:

      • - 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

MATEMÁTICA BÁSICA I 13. - Si, está lloviendo; entonces hace frío o está nevando; y, -

MATEMÁTICA BÁSICA I

13.

  • - Si, está lloviendo; entonces hace frío o está nevando; y,

  • - Si, no está nevando o hace frío, pero no ambos, entonces no está lloviendo. Entonces:

Si, hace frío sí y sólo sí está nevando; entonces no está lloviendo; y, Si, no llueve ni hace frío; entonces está nevando.

14.

Escriba la contrarrecíproca de la proposición:

Si, hace frío 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 q) (q

[ { (p

15.2 [ (p q) ~p] ↔ ~q 15.3 q) (q [ { (p r) } {
15.2 [ (p q) ~p] ↔ ~q 15.3 q) (q [ { (p r) } {

r) }

  • { (~p q) r } ] ~p

15.2 [ (p q) ~p] ↔ ~q 15.3 q) (q [ { (p r) } {
  • 15.4 ~r) }

[ {p (q

  • {q

15.2 [ (p q) ~p] ↔ ~q 15.3 q) (q [ { (p r) } {
  • (r p) } ] ~ (p q)

15.2 [ (p q) ~p] ↔ ~q 15.3 q) (q [ { (p r) } {

23

MATEMÁTICA BÁSICA I

MATEMÁTICA BÁSICA I 1.6. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES Toda proposición expresa una cualidad o característica a
  • 1.6. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES Toda proposición expresa una cualidad o característica a un sujeto particular. Una misma, cualidad, calidad o característica puede predicarse para varios sujetos; en cada caso se obtendrá una proposición. Si P es una cualidad, calidad o característica; denotaremos con p(x) al conjunto de todas las proposiciones singulares obtenidas al sustituir x por un sujeto; quedando definida la función preposicional con una variable. p(x) no es una proposición. A partir de funciones preposicionales es posible obtener proposiciones generales que se conocen como cuantificadores. Una proposición queda cuantificada; sí y sólo sí, alguna cualidad o característica se cumple para algunos o todos los sujetos.

MATEMÁTICA BÁSICA I 1.6. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES Toda proposición expresa una cualidad o característica a
  • 1. Cuantificador Universal [ x : p(x)] Cuando una cualidad o característica se cumple para todos los sujetos:

    • : p(x)

      • x Todos los hombres son mortales.

    • : q(x)

      • x Todas las tortugas tienen caparazón.

MATEMÁTICA BÁSICA I 1.6. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES Toda proposición expresa una cualidad o característica a
  • 2. Cuantificador Existencial [ x : p(x)] Una proposición queda cuantificada existencialmente; sí y sólo sí, alguna cualidad o característica se cumple para algunos sujetos.

    • Algunas damas son virtuosas.

x : p(x)

  • Algunos jóvenes son deportistas.

y : q(y)

  • Algunos perros muerden.

z : r(z)

24

MATEMÁTICA BÁSICA I 1.7. NEGACIÓN DE CUANTIFICADORES 1. La negación del cuantificador universal es, sí y

MATEMÁTICA BÁSICA I

  • 1.7. NEGACIÓN DE CUANTIFICADORES

    • 1. La negación del cuantificador

universal

es,

y

sólo

sí,

existencial; y la proposición queda negada

~ [

  • x: p(x)]

MATEMÁTICA BÁSICA I 1.7. NEGACIÓN DE CUANTIFICADORES 1. La negación del cuantificador universal es, sí y

x : ~ p (x)

  • 2. La negación del cuantificador existencial, es Universal y la proposición queda negada. ~ [

    • x : p(x)]

MATEMÁTICA BÁSICA I 1.7. NEGACIÓN DE CUANTIFICADORES 1. La negación del cuantificador universal es, sí y

x: ~ p (x)

Ejemplos:

  • 1. Negar todos los jóvenes son deportistas. Rpta. Algunos jóvenes no son deportistas.

  • 2. Algunas aves vuelan. Rpta. Todas las aves no vuelan.

  • 3. Si algunas damas son virtuosas entonces todos los días está lloviendo.

~ [

~ [ x : p (x)] y: q(y)] x : p (x) y : ~ q

x : p (x)]

~ [ x : p (x)] y: q(y)] x : p (x) y : ~ q

y: q(y)]

~ [ x : p (x)] y: q(y)] x : p (x) y : ~ q

x : p (x)

~ [ x : p (x)] y: q(y)] x : p (x) y : ~ q

y : ~ q (y)

Rpta. Algunas damas son virtuosas y algunos días no está

lloviendo.

 
  • 4. Todos los jóvenes son deportistas y algunas aves tienen plumas.

~ (

MATEMÁTICA BÁSICA I 1.7. NEGACIÓN DE CUANTIFICADORES 1. La negación del cuantificador universal es, sí y

x: p(x)

MATEMÁTICA BÁSICA I 1.7. NEGACIÓN DE CUANTIFICADORES 1. La negación del cuantificador universal es, sí y

y: q(y)]

MATEMÁTICA BÁSICA I 1.7. NEGACIÓN DE CUANTIFICADORES 1. La negación del cuantificador universal es, sí y

x: ~ p(x)

MATEMÁTICA BÁSICA I 1.7. NEGACIÓN DE CUANTIFICADORES 1. La negación del cuantificador universal es, sí y

y: ~ q(y)

Rpta. Algunos jóvenes no son deportistas, o todas las aves

no tienen plumas.

25

MATEMÁTICA BÁSICA I

MATEMÁTICA BÁSICA I EJERCICIOS PROPUESTOS Enunciados 1. Indicar diez ejemplos de enunciados. 2. Indicar diez ejemplos

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 cuáles son proposiciones y anteponga una letra: p; q; r ..................

  • 6. Negación de proposiciones Los ejercicios anteriormente citados, negar y anteponer: ~ p; ~ q; ~ r; ...................

  • 7. Con los ejercicios del grupo II, relacionar mediante el conectivo conjunción. Represente sus tablas de verdades.

  • 8. Los ejercicios del grupo III relacionar, mediante el conectivo disyunción. Representar las tablas de verdades.

  • 9. Ponga ejemplos de proposiciones compuestas con los conectivos: conjunción y disyunción. Demuestre sus tablas de verdades. Ejemplo:

 

9.1.

(p

9.1. (p q) r

q)

9.1. (p q) r

r

p

p (q r)

(q

p (q r)

r)

Responda con oraciones declarativas.

  • 10. Indique ejemplos con oraciones declarativas de proposiciones compuestas con los conectivos: conjunción, disyunción e implicación.

26

Ejemplo: 10.1. (p q) (q r) 10.2. (p q) (p r) MATEMÁTICA BÁSICA I Responda con

Ejemplo:

  • 10.1. (p

10.1. (p q) (q r)

q)

(q

10.1. (p q) (q r)

r)

  • 10.2. (p q)

10.2. (p q) (p r)

(p

10.2. (p q) (p r)

r)

MATEMÁTICA BÁSICA I

Responda con oraciones declarativas. Demuestre sus tablas de verdades.

  • 11. Indique ejemplos de proposiciones compuestas con los conectivos: conjunción, disyunción, implicación y doble implicación. Ejemplo:

    • 11.1. (p

      • q) (r q) }

Ejemplo: 10.1. (p q) (q r) 10.2. (p q) (p r) MATEMÁTICA BÁSICA I Responda con

(p r)

  • 11.2. { p ~(q

    • r) } (r

    • q)

Responda con oraciones declarativas. Demuestre sus tablas de verdades.

  • 12. Indique ejemplos de proposiciones compuestas con los conectivos: conjunción, disyunción, implicación, doble implicación y conjunción negativa, ejemplo: Ejemplos:

  • 12.1. { (p q) (q

12.1. { (p ↓ q) (q ~ r) } ↔ (p ~ q)

~ r) } (p

12.1. { (p ↓ q) (q ~ r) } ↔ (p ~ q)

~ q)

  • 12.2. { (p q) (r

12.2. { (p ↔ q) ↓ (r ~ p) } ↔ (~ q p)

~ p) } (~ q

12.2. { (p ↔ q) ↓ (r ~ p) } ↔ (~ q p)

p)

Responda sus ejemplos con oraciones declarativas. Demuestre sus tablas de verdades.

  • 13. Indique ejemplos de proposiciones compuestas con los conectivos; conjunción, disyunción, implicación, doble implicación; conjunción negativa y disyunción exclusiva. Ejemplos:

{ (p

Ejemplo: 10.1. (p q) (q r) 10.2. (p q) (p r) MATEMÁTICA BÁSICA I Responda con

q) (q r) } { (p

  • ~ r) v (q

  • ~ p)

{ (p ~q) v (r ~p) } { (r ~q) (q r) }

Ejemplo: 10.1. (p q) (q r) 10.2. (p q) (p r) MATEMÁTICA BÁSICA I Responda con
Ejemplo: 10.1. (p q) (q r) 10.2. (p q) (p r) MATEMÁTICA BÁSICA I Responda con
Ejemplo: 10.1. (p q) (q r) 10.2. (p q) (p r) MATEMÁTICA BÁSICA I Responda con

27

MATEMÁTICA BÁSICA I

CUANTIFICADORES

MATEMÁTICA BÁSICA I CUANTIFICADORES 1. Cuantificar universalmente y existencialmente las proposiciones: p : : : :
  • 1. Cuantificar universalmente y existencialmente las proposiciones:

p

:

:

:

:

Las flores son bellas

q

Carlos es deportista

r

María es estudiosa

s

Antonio es libre

Representar

con

oraciones

declarativas,

utilizando

las

proposiciones indicadas.

 
x : p(x) 1.1 1.2

x : p(x)

  • 1.1 1.2

x : p(x) 1.1 1.2 x : p(x)

x : p(x)

y : ~ q(y) 1.3 1.4 z : r(z) 1.5 1.6 u : s (u) 1.7

y : ~ q(y)

  • 1.3 1.4

z : r(z)

  • 1.5 1.6

u : s (u)

y : ~ q(y) 1.3 1.4 z : r(z) 1.5 1.6 u : s (u) 1.7
  • 1.7 1.8

y : ~ q(y) 1.3 1.4 z : r(z) 1.5 1.6 u : s (u) 1.7
y : ~ q(y) 1.3 1.4 z : r(z) 1.5 1.6 u : s (u) 1.7

y : q(y)

z : ~ r(z)

u : ~ s (u)

Las proposiciones:

(1.1)

y

(1.3)

relacionar mediante la conjunción.

(1.2)

y

(1.4)

relacionar mediante la disyunción.

(1.5)

y

(1.4)

relacionar mediante la implicación.

(1.6)

y

(1.8)

relacionar mediante la doble

(1.7)

y

(1.2)

implicación. relacionar mediante la conjunción

(1.5)

y

(1.1)

negativa. relacionar mediante la disyunción exclusiva.

Utilizar las Leyes de Morgan en las relaciones proposicionales anteriores libremente.

28

MATEMÁTICA BÁSICA I Representar con oraciones declarativas las proposiciones: x : p(x) y : q (y)

MATEMÁTICA BÁSICA I

Representar con oraciones declarativas las proposiciones:

x : p(x)

x

: p(x)

y : q (y)

y : q (y)

x ~ p (x) ↔ {q

x

~ p (x) {q

 

{p

{p y : q(y)} v {

y : q(y)}

 

v

{

{p

u : ~ s(y) }

q

:

r

:

s

:

: p (x)

: p (x)
x x
x
x

: ~ p(x)

x x : ~ p(x)

x

: p(x)

z : r(z)

u : s(u)

u : ~ s(z)

x : p(x) y : q (y) x ~ p (x) ↔ {q {p y :

z : ~ r(z)

z : ~ r(z)

z : ~ r(z)
y : ~ q (y) p z ~ r (<) z: ~ r(2)} y: ~ q(y)
y : ~ q (y)
p
z ~ r (<)
z: ~ r(2)}
y: ~ q(y) ~ p}
↔ {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:

y : ~ q (y)

y : ~ q (y)

y : q (y) z : ~ r (z)

y : q (y)

z : ~ r (z)

y : ~ q (y)

y : ~ q (y)

z : ~ r (z)

z : ~ r (z)

z : r (z)

z : r (z)

u : s (u)

u : s (u)

Simplificar las proposiciones, utilizando las leyes del Álgebra Proposicional.

1)

~ (p

1) ~ (p ~ q) 2) ~ (~ p q)

~ q)

2)

~ (~ p q)

3)

~ (p

3) ~ (p ~ q) 4) ~ (~ p ~ q)

~ q)

4)

~ (~ p

3) ~ (p ~ q) 4) ~ (~ p ~ q)

~ q)

5)

~ (~ p ~ q)

6)

~ (~ p ~ q)

29

MATEMÁTICA BÁSICA I

Simplificar las siguientes proposiciones:

MATEMÁTICA BÁSICA I Simplificar las siguientes proposiciones: 1. No es verdad que, si las rosas son
  • 1. No es verdad que, si las rosas son rojas entonces las violetas son azules.

  • 2. No es verdad que, hace frío y está lloviendo.

  • 3. No es verdad que, él es bajo o galán.

  • 4. No es verdad que, hace frío está lloviendo.

  • 5. No es verdad que, si está lloviendo entonces hace frío.

  • 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

1. (p q)

q)

1. (p q) ~ p

~ p

 
  • 2. p

2. p (p q) ~ (p 3. q)

(p

q)

2. p (p q) ~ (p 3. q)

~ (p

  • 3. q)

2. p (p q) ~ (p 3. q)
2. p (p q) ~ (p 3. q)

(~p

2. p (p q) ~ (p 3. q) (~p

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 sólo sí, Lizeth es bonita; entonces Ana no es responsable ni Carlos es inteligente; sí y sólo sí, Lizeth es bonita.

  • 2. Está lloviendo o hace calor, pero no ambos; y hace frío; y Si, no hace frío ni calor; entonces está lloviendo; entonces hace calor o hace frío, pero no ambos; sí y sólo sí, no está lloviendo.

30