4.

ESQUEMAS MOLECULARES Y Notación:

CUANTIFICADORES
 x : p (x) ó  x / p (x) ó (  x ) [ p (x ) ]
4.1 OBJETIVO

1. LOGICA CUANTIFICACIONAL Se lee: "para todo x, tal que, se verifique p (x)".

Función proposicional
2.2. Cuantificador Existencial
Es aquel enunciado que contiene una variable y
Si a una función proposicional, le
que tiene la propiedad de convertirse en verdadero
anteponemos la expresión "existe un x tal
o falso para cierto valor de la variable. Las
que", estaremos indicando el sentido
funciones proposicionales se pueden representar
existencial (que exista) de dicha función:
por:
Notación:
p(x), q(x), r(x), etc., donde "x" sería la variable.
 x : p ( x ) ó  x / p ( x ) ó (  x ) ( p ( x ) )

Ejemplos: Se lee:
"existe un x, tal que, se verifique p (x)".
p(x) : x - 2 > 18 "existe por lo menos un x, tal que, se
q(x) : x2 + 4 = 16 verifique p(x)".
r(x) : “x” es un número primo "al menos un x, verifica p(x)".
1
MATEMÁTICA DISCRETA - INGENIERIAS
1
3. NEGACIÓN DE PROPOSICIONES QUE TIENEN
Si en la primera función proposicional p (x) a "x" le CUANTIFICADORES
damos diferentes valores tendremos:
~ [  x : p ( x ) ] =   x : ~ p ( x )
Para: x = 10 p(10): 10 - 2 > 18
8 > 18 (falso)
~ [  x : p ( x ) ] =  x : ~ p ( x )
Para: x = 23 p(23): 23 - 2 > 18
21 > 18 (verdadero)
4. INFERENCIA LOGICA

Son inferencias que por su estructura siempre

Como puede verse, dependiendo del valor de la
resultan ser válidas.
variable podemos obtener resultados diferentes.
1. Modus Poniendo Ponens (PP)

2. CUANTIFICADORES UNIVERSAL Y EXISTENCIAL P→Q

P
2.1. Cuantificador Universal ∴ Q ( PP)

Si a una función proposicional, le

anteponemos la expresión "para todo x", 2. Modus Tollendo Tollens (TT)
estaremos indicando el sentido universal de
dicha función proposicional, obteniéndose
ahora una proposición lógica.
1
 P→Q 10. Dilema Destructivo (DD)
¬Q
∴ ¬P (TT ) P→ R
Q →S
¬R∨¬S
∴ ¬P∨¬Q ( DD)
3. Silogismo Disyuntivo (SD)
Nota: Estas leyes posteriormente se utilizaran como
P∨Q P∨Q
¬P ¬Q inferencias válidas.
∴Q ( SD) ∴P (SD )
EJERCICIOS PROPUESTOS
4. Inferencia Equivalente (IE)
NIVEL 1
P↔Q P↔Q
P Q 1. Simplifique las siguientes proposiciones
moleculares utilizando las leyes del algebra
∴Q ( IE) ∴P ( IE)
proposicional.

a) ~ { ~( p∧q )→~ q } ∨q
5. Silogismo Hipotético (SH)
b) [ ( ( ~ p∧q ) ) → ( r∧~r ) ]∧~ q
P→Q
Q→R
2. Verifique si la proposición es una tautología
∴ P→ R ( SH )
( ( p∨~q )∧q ) → p
6. Conjunción (C)
3. ¿Cuál de las siguientes expresiones son funciones
MATEMÁTICAP DISCRETA - INGENIERIAS proposicionales? 2
Q 2
∴ P∧Q (C )
I. p(x): x2 + x > 4
7. Simplificación (S) II. q(x): "x" es un número impar
P∧Q P∧Q III. r(x): 3x + 7
∴ P ( S) ∴Q ( S)
a) Sólo I b) Sólo II c) Sólo III
d) I y III e) I y II

8. Adición (A)
4. Dada la función proposicional: p(x): x3 - 2x > 0
P Hallar los valores de verdad para:
∴ P∨Q ( A ) x = -1; x = 2; x = 1
a) VVV b) VVF c) VFV
d) FVV e) FVF
9. Dilema Constructivo (DC)
5. Determine el valor de verdad de las
P→ R
proposiciones y luego niéguelas:
Q→ S
a. [∃ x ∈ Z / x 2=x ]
P∨Q 2
∴ R∨S ( DC) x
[ ∀ x ∈ R / =x ]
b. x
c. [∃ x∈ R /(−1)x=0]

2
 [∃ x ∈ Z / √ x 2 =x ] p:[ ∀ x ∈ R : ( x−2 )( x−3 ) >0 ]
d.
x +1 x
6. Dadas las proposiciones:
q :[∃ x ∈ R /3 +3 =4 ]
a. [∃ x ∈ N /x +2=5 ]∧[∀ x ∈ N / x 2 >x ] Luego resuelve:

b. [ ∀ a ∈ Z :−a<0 ]∨[∃ x∈ Z /−x=x] a)

[∃ x∈R / √−x ∈R ] [ ( p → q ) ∨( ~ p∧q ) ] Δ p →~ q

c.

Indique sus valores de verdad. b) ( ~ p∨~ q ) ↔ [ ( p∧r ) → ~ q ]

7. Evalúe:
~ { ~ ( p∨~ q ) } ↔ { ~ [ ( r ∧ p ) → ( p∧~ p ) ] } 12. Dados las proposiciones:
Si:
p:[ ∀ x∈ R : x 0 =1 ] p: [ ∀ x ∈ R/ ( x−4 )2 =9 ]
q :[∃ x ∈Q /3 x 2 =x−5 ]
r :[∃ x∈ Z /x 2 −2 x−1=−1∧ √ 4= x] q : [ ∃ x ∈ Z : 4 x 2 +5 x=−2 x +2 ]
8. Determine el valor de verdad de las Determine el valor de verdad de la siguiente
proposiciones y luego niéguelas: proposición

p:[ ∀ x ∈ Q: x 2 ≥x ] ( q∨t ) Δ [ ( r∧t ) →s ]

q :[∃ x ∈Q /x−1 =x ]
x 13. Dados los conjuntos: 3
r :[ ∀ x ∈ ZDISCRETA
MATEMÁTICA , =1 ] - INGENIERIAS
x 3 A = { x ∈ Z / −3< x≤2 } y
Además halle el valor de verdad de: B = { x+1 ∈ N / x ∈ Z ∧ −2 ≤ 2 x + 4 < 12 }
[ r ↔ ( p∨q ) ] → ( q∧~ p )
Determine el valor de verdad de las siguientes
9. Determine el valor de verdad de las siguientes proposiciones.
proposiciones y luego niéguelas: a) ∃x∈ A ,∀ y ∈ A/ x+ y=x
a. [ ∀ x ∈ R : x 3 =x ] ∀ x ∈ A ,∃ y ∈ B / x+ y=0
b)
b. [∃ x∈ R / √−x=−√ x ]
Ahora con valor de verdad de las proposiciones
c. [∃ x ∈ R /x 2 +3 x −2=0 ] mencionadas, encuentre el valor de verdad de la
d. [ ∀ x ∈ R : x 2 −10≤8 ] operación lógica:

10. Sean las siguientes proposiciones: ~ { [ ( q ↔ w)∧~ p ] ∧~ q }→ { w Δ ~ ( q ↔ p ) }

2
p:[ ∀ x ∈ Z : x −1>0 ]
q :[∀ x ∈ Z , x 2 =−x] 14. Dados los conjuntos:

r :[ ∀ x ∈ N ,x <x 2 ] M   0 ;1;2 ;3; 4 ;5;6 N   1;2; 4 ;5;6;8

Encuentre el valor de verdad de:
Indique si las siguientes proposiciones son
~ { ( ~ p →q ) ∧r } → { ( p∨~q )∧r } verdaderas o falsas (Justifique su respuesta),
luego niéguelas.
11. Determine los valores de verdad de las
siguientes funciones proposicionales: a.  x  M / x²  5 > 4
3
 q : Luis toma desayuno
b.  x  (M  N) / 2x + 5 < 8
r : Luis se levanta temprano
c.  x  (M  N) / x²  M ∪ N ( M∪N )
Simbolizar el enunciado:
d.  x  (N ∪ M) / 5x+1>15
“Si Luis se levanta temprano y no compra pan,
NIVEL 2 implica que podrá tomar desayuno; pero, que
1. haya comprado el pan es condición necesaria y
Si estudias, serás triunfador. Si no eres médico, suficiente para que se halla levantado
entonces no eres un triunfador. Se deduce: temprano”.
A) Si estudias no eres un triunfador
5. Simbolizar mediante variables proposicionales y
B) Si estudias serás médico las correspondientes conectivos lógicos en:
C) Si eres médico, entonces estudiaste

D) Si no estudias, serás médico

E) Si no eres triunfador, eres médico “No es el caso que Esperanza sepa tocar guitarra
y no componga una melodía, puesto que es
2. Dada la proposición: egresada del Conservatorio de Música”

“Si estudio triunfo. Estudio, por lo tanto triunfo”

4
MATEMÁTICA DISCRETA - INGENIERIAS
Corresponde a un esquema: 4 2. Determine la validez del siguiente argumento:

A) Tautológico B) Consistente Si llueve, Maria se resfriara

C) Contradictorio
3. Dadas las proposiciones:
No llovio
D) Indeterminado
¿ ¿
∴ Maria no se resfrio

p : Marco es comerciante

q : Marco es próspero industrial

r : Marco es ingeniero

Simbolizar el enunciado:

“Si no es el caso que Marco sea un comerciante

y un próspero industrial, entonces, es ingeniero
o no es comerciante”.

4. Si:

p : Luis compra pan