Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. PROPOSICIONES
1
Concepto. Antes de dar el concepto de lo que es una proposición, trataremos de establecer cuáles
de las siguientes expresiones son verdaderas o falsas.
Después de analizar cada una de ellas concluimos que (a) es falsa y (c) es verdadera; respecto de
(b) es probable que dudamos en responder, pero lo cierto es que es o verdadera o falsa y no ambas
ya que en la realidad debe haber ocurrido que Alberto Fujimori tuvo o no tuvo úlcera estomacal,
pero sólo una de las posibilidades es correcta.
Por otra parte notamos que no tiene sentido afirmar que (d) y (e) son verdaderas o falsas y
finalmente para establecer la verdad o falsedad de (f) necesitamos conocer el valor de x y no lo
tenemos.
A los enunciados que como (a), (b) y (c) son un unívocamente verdaderos o falsos se les
denomina proposiciones; por esta razón (d) y (e) no son proposiciones. (En general las preguntas
y las exclamaciones no son proposiciones). Debemos anotar también que la expresión (f), si bien
no es proposición, depende del valor de x para serlo; a este tipo de expresiones se les denomina
funciones proposicionales o enunciados abiertos y las trataremos más adelante. De lo anterior se
desprende que:
2
Si una proposición es verdadera se le asignará el valor de verdad simbolizado por V y si es falsa
se le asignará el valor de verdad simbolizado por F.
(Si/No)
Notación: Representaremos las proposiciones por letras minúsculas de la segunda mitad del
alfabeto, como p, q, r, s, etc. que llamaremos variables proposicionales.
A partir de dos proposiciones dadas podemos formar una tercera si las unimos mediante términos
como “y”, “o”, “si,… entonces…”, “…, si sólo si, …”, etc.; a estos términos de enlace los
llamaremos conectivos u operadores lógicos.
p: 20 es un número par.
q: 20 es divisible por 5.
A partir de una sola proposición también es posible formar otra anteponiéndole “no es cierto
que” y obteniendo la negación de la primera; debido a esto también se considera la negación como
un operador lógico.
3
2) Proposición compuesta o molecular. Es aquella que está constituida por otras proposiciones
y por lo tanto contiene conectivos lógicos.
Por ejemplo:
(a) Si 6 es un número par entonces es divisible por 2.
(b) El cuadrado es un cuadrilátero equilátero y equiángulo.
(c) No todos los rombos son cuadriláteros.
En el caso (a) las proposiciones componentes son:
“6 es un número par” y “6 es divisible por 2”.
En el caso (b) :
4
2. COMPOSICIÓN PROPOSICIONAL
5
Así, el ejemplo presentado puede expresarse como:
“5 es un número impar a la vez que entero”.
3) Disyunción inclusiva o débil. Si p y q representan dos proposiciones cualesquiera, la
disyunción inclusiva se denota por “p ⋁ q” y se lee “p o q”.
Convendremos, a partir del significado cotidiano del conectivo “o”, que “p ⋁ q” es verdadero
si por lo menos una de las proposiciones componentes es verdadera y falsa sólo si ambas son
falsas; obtenemos así la siguiente tabla.
p q p ⋁ q
V V V
V F V
F V V
F F F
Ejemplos: Si p: 5 > 3
y q: 5 = 3
Entonces p ⋁ q: 5 > 3 ó 5 = 3
V F
Luego “p ⋁ q” sólo es falsa si las componentes son ambas falsas, y verdadera en otro caso.
Nota: También existe la llamada disyunción exclusiva o fuerte que se denota por
“p ∨ q”, se lee “o p o q” y es verdadera cuando sólo una de las componentes es verdadera.
p q p →q
V V V
V F F
F V V
6
F F V
Ejemplos:
a) La proposición:
Si 2 = 5 y 5 = 2 , entonces 2 = 2
Antec. F consec. V
b) La proposición:
Si 2 > 1 , entonces 2 + 1 > 3
Antec. V consec. F
(a) Decir “Que un polígono sea cuadrilátero es necesario pero no suficiente para que sea
cuadrado” equivale a:
“Si un polígono es cuadrado, entonces es cuadrilátero”.
Esto es que “q es necesario para p” equivale “p → q”
(b) “Que un número termine en cero es suficiente(pero no necesario) para que se a divisible
por 5” equivale a:
“Si un número termina en cero, entonces es divisible por 5”
Esto es que “p es suficiente para q” equivale a “p → q”
En general “p → q”
p es la condición suficiente para que ocurra q, y
q es la condicione necesaria para que ocurra p.
7
Ejemplo.- Dada la proposición: Si un número entero es divisible por 6, entonces es múltiplo
de 3.
(a) Su recíproco es: Si un número entero es múltiplo de 3, entonces es divisible por 6.
(b) Su contradirecto es: Si un número entero no es múltiplo de 3, entonces no es divisible por
6.
(c) El recíproco de su contradirecto es: Si un número entero no es divisible por 6, entonces
no es múltiplo de 3.
Más adelante estableceremos que si bien la condicional no es conmutativa (esto es que
“p → q” no equivale a “q → p”) sí se cumple que “p → q” y “ q→
p” expresan lo mismo.
Esto último es importante dentro de la matemática ya que cuando se trata de demostrar que
H → T, es factible demostrar en su lugar el contradirecto “ T→
H”, ya que se tratan de 2 expresiones equivalentes.
5) Bicondicional. Se denota por “ p ↔ q ” y se lee “p si y sólo si q”
“p ↔ q” afirma que “ p → q” y a la vez “q→p” esto es que deben darse las dos
condicionales.
El valor de verdad de p↔ q lo podemos obtener del valor de verdad de la condicional (4);
– Si p y q son V, entonces p→q y q→p
V V V V
V V
esto es que las dos condicionales son verdaderas; luego, en este caso, p↔ q es verdadero.
– Si p es V y q es F, entonces: p → q y q →p
V F F V
F V
luego, como sólo una de las condicionales es verdadera, p ↔ q es falsa ya que no se da la
doble condicional.
- Si p es F y q es V, entonces p → q y q→p
F V V F
V F
por consiguiente p ↔q es falsa.
- Finalmente, si p y q son F entonces:
p →q y q → p
F F F F
V V
Las dos condicionales son verdaderas, luego
p ↔q es verdadera.
Resumiendo, p ↔ q sólo es verdadera si p y q son simultáneamente verdaderas
simultáneamente falsas; obtenemos así la siguiente tabla:
p q p ↔q
V V V
V F F
8
F V F
F F V
Ejemplo:
2+1<
⏟ 4, 2<3
⏟,
si y solo si,
V V
Ejemplo.- La proposición:
“Un triángulo es equilátero si y solo si sus ángulos internos miden 60º”, equivale a decir:
“que un triángulo sea equilátero es necesario y suficiente para que sus ángulos internos
midan 60o”.
Nota.- En general, al unir dos proposiciones por el conectivo “si y solo si” se puede decir
que la relación de consecuencia vale en ambas direcciones entre estas dos proposiciones .
9
Dadas las proposiciones:
6
p: 6 es un número par.
q: 6 es un número divisible por 2.
r: 6 +1 es un número impar.
Simboliza, utilizando la notación anterior, las siguientes proposiciones y luego
indica su valor de verdad.
a) Si 6 es un número par, entonces es divisible por 2.
Simbolización: ___________ , valor de verdad: _____________
b) 6 es un número para y 6 +1 es número impar.
Simbolización: ___________ , valor de verdad: _____________
EJERCICIOS GRUPO 1
4. Halla el valor de verdad de cada una de las proposiciones representadas en las respuestas a la
pregunta 3.
11
3. FÓRMULAS PROPOSICIONALES
Como son 3 proposiciones componentes y c/u tiene 2 posibles valores de verdad, se tendrá en
total 2 x 2 x 2=8 combinaciones de los valores de verdad que colocamos en el margen de la
siguiente tabla:
p q r p → (q ∨ r )
V V V V V V
12
V V F V V V
V F V V V V
V F F V F F
F V V F V V
F V F F V V
F F V F V V
F F F F V F
Observaciones:
a) El cuadro donde se disponen los valores de verdad para evaluar una fórmula se denomina
tabla de verdad y consta de dos partes: margen y cuerpo.
⏟ ⏟
Margen Cuerpo
V V
V F
F V
F F
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
13
9 Si la proposición representada por:
( p ⋀ q)→ r es falsa. Determina los valores de verdad de p, q y
r.
Solución:
Por dato la condicional ( p ⋀ q) → r es falsa y como una
condicional es falsa si el antecedente es verdadero y el consecuente es
__________, entonces:
( p ⋀ q) → r
antecedente V consecuente F
10 Si se sabe que:
p r es F,
r→q es V, y que
q∨ t es F,
halla los valores de verdad de p, q, r y t.
Solución:
Los dos primeros datos nos dan varias posibilidades, ya que p r es F en 3
casos y r →q es V también en 3 casos, de modo que empecemos por el último
dato ya que q∨ t es F en un solo caso.
Así tenemos que si q∨ t es F, entonces las 2 componentes deben ser falsas,
esto es que q es _____ y t es _____.
Ahora como q es F y por el segundo dator →q es V, entonces:
r →q
F
V
y la única posibilidad para que la condicional sea V teniendo consecuente F es
que el antecedente sea falso, esto es que r es _____.
14
Finalmente, por el primer dato p r es F y como r es F tenemos que:
p r
F
V
F
11 Sabiendo que:
V
Obsérvese que el valor de verdad de t, que no lo tenemos, no influye ya que
la condicional de antecedente F, de hecho es V.
p q ( p ∧q ) → p
V V
V F
F V
F F
p q [ p →( q ∧ q) ] ∧ p
V V
V F
F V
F F
15
p q r [ ( p →q ) ∧ ( q → r ) ] → ( p →r )
V V V
V V F
V F V
V F F
F VV
F V F
F F V
F F F
p q r (p ∧ q ) → ( p ∨r )
V V V
V V F
V F V
V F F
F VV
F V F
F F V
F F F
Lo notable de las tautologías radica en que por el hecho de ser siempre verdaderas nos
permiten formar proposiciones verdaderas independientemente de los valores de verdad de las
componentes.
Ejemplo:
La fórmula: ( p ∧ p ) es una Tautología ya que resulta siempre verdadera:
p ( p∧ p)
V V V F F
F V F F V
16
16 De acuerdo a los resultados de los cuadros 12, 13, 14 y 15, indica en los
espacios en blanco si las fórmulas evaluadas en dichos cuadros son
tautologías, contradicciones o contingencias:
Observaciones:
p p∨ p
V V V F
F F V V
p ( p∨ p)
V F V V F
F F F V V
( p ∧ q) → p representaría la proposición:
c) La mayor importancia de las tautologías radica en que nos permiten establecer esquemas
de razonamientos correctos.
En general un razonamiento tiene premisas y conclusiones y puede ponerse en
la forma: (P1 ∧ P2 ∧ . . . ∧ Pn) →C
donde los P; son las premisas y C la conclusión,
Un razonamiento válido o correcto es aquel que puesto en la forma anterior al
representarlo simbólicamente nos da una tautología.
Ejemplo:
17
p →q ) ∧ ⏟p ¿ → q
(⏟ ⏟
[ simboliza un razonamiento válido, ya que es de la forma
P1 P2 C
p q ( p ∧ q ) ↔ ( p∨ q )
V V V F F V F F V V
V F V V V V V F F F
F V F F F V F V V V
F F F F V V F V V F
∴ p ∧ q ≡ ( p ∨q ).
Como el conectivo “↔” nos indica verdadero sólo si las componentes son ambas verdaderas
o ambas falsas en realidad sólo dará tautología si los resultados de las fórmulas unidas por él
son idénticos.
Ejemplo:
A: p ; B : p ∧ ( p ∨q) .
Para establecer si A≡B, evaluamos las 2 fórmulas unidas por el concectivo “ ↔”; es decir A
↔A:
p q p↔ | p ∧ ( p∨ q )|
V V V V V V V
V F V V V V V
F V F V F F V
F F F V F F F
Nota: Como “A↔B” resulta ser una tautología, concluimos que A↔B.
Es decir:
18
p≡ p ∧ ( p ∨q) .
p q p→ ( p ∨q )
V V
V F
F V
F F
p q (p → q) ↔ ( p ∨ q )
V V
V F
F V
F F
p q ( p → q) ↔ ¿ q → p)
V V
V F
F V
F F
b) ¿p∨ q) ≡ q ∧ p
p q ( p∨ q) ↔ ¿ p ∧ q)
V V
V F
F V
F F
19
20 Completando la siguiente tabla de verdad, establece si las fórmulas dadas
son equivalentes:
A: [p → ¿ p ∧ q )¿ ∧ r
B: → ¿ p)
p q r [p → ¿ p ∧ q )¿ ∧ r ↔ ¿ p)
V V V
V V F
V F V
V F F
F VV
F V F
F F V
F F F
Luego: ________________________________________
21
0 Si definimos un nuevo conectivo “ ↓”, tal que
p ↓q ≡ p ∧ q
¿En qué casos resulta verdadera “ p↓ q”?
Solución:
Como p ↓q ≡ p ∧ q, los resultados finales de ambas
fórmulas en la tabla de verdad deben coincidir, ya que al unirlos mediante el
conectivo “↔” debe resultar una ___________(por ser equivalentes por
dato del problema).
Luego:
p q (p ↓q) ↔ ¿ p ∧ q)
V V V F F F
V V V F F V
F V V V F F
F V V V V V
V V F
V F F
F V F
F F V
V V V F V F
V F V F V V
F V V V F F
F F V V V V
V V V
V F V
F V F
F F V
Esto es que “p ↑ q” sólo es falsa cuando la primera componente es ________ y la
segunda es_______.
p q p ↑( p ∨ q) p→ q p
q∧ p
V V V V F V V V V V V F F V
V F V V F F F V F F V V V V
F V F F V V V F V V F F F F
F F F F V V F F V F F V F F
Observando los resultados sólo coinciden los de la fórmula dada con los de
la fórmula________, esto es que: p ↑ ( p ∨ q) ≡ r
21
22
PRINCIPALES LEYES DE LA LÓGICA PROPOSICIONAL. En el punto anterior habíamos
establecido que una tautología nos indica una forma correcta de expresarse y de razonar, por ello
consideraremos que una tautología es una ley de la lógica proposicional. Del infinito número de
tautologías, solo tomaremos las principales y las enumeraremos a continuación: *
1) Ley de identidad
1.1) p → p
1.2) p ↔ p
2) Ley de la no contradicción
¿ p)
5) Leyes conmutativas
5.1) p ∧ q ≡ q ∧ p
5.2) p∨ q ≡ q ∨p
5.3) p ↔ q ≡ q ↔ p
6) Leyes asociativas
6.1) ( p ∧ q) ∧r ≡ p ∧ (q∧ r)
6.2) ( p ∨ q) ∨r ≡ p ∨ (q∨ r)
6.3) ( p↔ q)↔ r ≡ p ↔ (q↔ r)
23
7) Leyes distributivas
7.1) p ∧ (q ∨ r) ≡¿ p ∧ q) ∨ ¿p ∧ r)
7.2) p ∨ (q ∧r) ≡¿ p ∨ q)∧¿ p ∨ r)
7.3) p → (q ∧ r) ≡¿ p →q) ∧ ¿p → r)
7.4) p → (q ∨ r) ≡¿ p → q) ∨ ¿p → r)
8) Leyes transitivas
8.1) [(p → q)∧ ( q → r)] → ¿p → r)
8.2) [(p ↔ q)∧ ( p ↔ r)] → ¿p ↔ r)
8) Definición de condicional
15.1) p → q ≡ p∨q
15.2) (p → q) ≡p∧ q
Esta ley nos indica que una condicional se pueda escribir en términos de una
disyunción.
Ejemplo:
x⏟
<3 → x⏟
+1<4 ≥3 ∨ x⏟
x⏟ +1<4
( )≡( )
p q p q
24
EJERCICIOS GRUPO 2
2. Indica de qué tipo es cada una de las fórmulas de la pregunta 1: Tautología, contradicción o
contingencia.
5. Halla una fórmula tal que al construir su tabla de verdad el resultado final sea:
V
F
V
F
V
F
V
F
25
II) q ∨ r es verdadero
III) p ↔ q es verdadero
a) Solo I y III b) Solo I y II c) Todas
d) Solo II e) Solo III
a) p b) p→ q c) p ∧ q d) q →p e) p ∨ q
12. Si definimos un nuevo conectivo “*”, tal que p * q ≡ (q → p), evalúa haciendo la
tabla de verdad de p * ( q ¿ r).
26
4. CUANTIFICACIÓN DE FUNCIONES PROPOSICIONALES
Función proposicional o enunciado abierto. Al inicio de este módulo, cuando veíamos el concepto
de proposición, presentamos un ejemplo que no era proposición:
x + 3 > 5, debido a que no podíamos establecer si era verdadera o falsa, ya que no se conocía el valor
de x.
Pero si por ejemplo, le damos a x el valor 4 obtenemos 4 + 3 > 5 qué es una proposición verdadera, o
si x =2 obtenemos: 2 + 3 > 5 que es una proposición falsa.
A las expresiones como la anterior, que contienen variables que al ser reemplazadas por constantes
dan como resultado una proposición, las llamaremos funciones proposicionales o enunciados abiertos.
Las funciones proposicionales se denotan por P(x), Q(y), etc. si tienen una variable y por P(x,y), Q(x,
y,z), etc. si tienen 2 o 3 variables.
Ejemplo:
En P(x, y): x2 + y2 = 25, U= N , U denota el conjunto de elementos que pueden reemplazar a x ó a y.
En este ejemplo x e y pueden ser números naturales ( N ).
Si x = 3, y =4; P(3, 4) : 32 + 42 = 25
Prop. V
Si x=2, y = 5 ; P(2, 5) ; 22 + 52 = 25
Prop. F
Las funciones proposicionales se pueden unir mediante los conectivos lógicos y formar otras
funciones proposicionales que serían compuestas.
Ejemplo:
P(x) : x + 2 > 3 → x + 1 < 5, U = {1, 2, 3, 4, 5}
Así cuando x=1
1+2>3
⏟ → 1+1<5
⏟
P(1) : luego P(1) es una proposición verdadera.
F V
o cuando x = 5:
P(5) : 5 + 2 > 3 → 5 + 1 < 5 , luego P(5) es
27
V F
F
1) Cuantificador Universal. Se denota por “∀” y se lee “para todo” o “para cualquier(a)”. Si P(x) es
una función proposicional, “∀ x ∈ U, P(x)” es una proposición que será verdadera cuando para
todos los valores de x ∈ U se cumple P(x).
Ejemplos:
a) “∀ x ∈ A, x+3 > 5; A={1, 2, 3,4}.
Es una proposición falsa ya que sí x=1:
1+3>5
⏟ ; para que sea verdadera deben cumplir todos los x pertenecientes a A.
F
b) ∀ x ∈ Z
+¿ ¿ +¿ ¿
, 2n +1 es impar; Z : enteros positivos.
28
c) “∀ x ∈ R , x 0=1; R ; Números reales.
Es falsa ya que cumple con todos menos si x = 0, cómo sabemos 00 no es igual a 1, es
indeterminado.
e) Todos los hombres son mortales es una proposición que lleva un cuantificador universal,
expresada en nuestra notación se escribiría:
∀ x ∈ A, x es mortal, donde A es el conjunto de todos los hombres. Está proposición es
verdadera ya que todo elemento de A es mortal.
2) Cuantificador existencial. Se denota por “ ∃ y se lee: “existe por lo menos un”. Si P(x) es una
función proposicional, “∃ x ∈ U/P(x)” es una proposición que será verdadera si existe por lo
menos un elemento de U que el reemplazarlo por x, cumple con P(x).
Ejemplos:
a) La proposición:
∃ x ∈ A / x + 3 > 5; A={1, 2, 3, 4}.
Es verdadera ya que si x= 4, obtenemos 4+3 > 5 (V) y como basta que se cumpla para
un valor de A, concluimos que la proposición es verdadera.
b) ∃ x ∈ N / 3x = 4; N : Números naturales.
4 4
Es una proposición falsa ya que 3 x = 4 sólo si x = y ∉ N , esto es que no existe
3 3
algún número natural que cumpla con hacer verdadero 3x = 4
Negación de funciones proposicionales cuantificadas.- Cuando afirmamos la proposición
“todos los gatos son negros”, y su negación afirmaría que “no todos los gatos son negros” o
equivalentemente que “existen algunos gatos que no son negros”.
En símbolos:
p: ∀ x ∈ A, x es negro, donde A es el conjunto de todos los gatos
∼p: ∃ x ∈ A/ x no es negro.
En general se cumple que:
∼ ¿∀ x ∈ U, P(x)] ≡∃ x ∈ U / ∼ P(x)
Análogamente:
∼ ¿ x ∈ U, P(x)] ≡ ∀ x ∈ U /, ∼ P(x)
Ejemplos:
a) Si p: “∀ x ∈ A, x+ 2 >5, A ={1, 2, 3, 4}
⇒ ∼p: ∃ x ∈ A / ∼ ¿ 5)
ó ∼p: ∃ x∈ A / x + 2 < 5, A={1, 2, 3, 4}
b) Si q : ∃ x ∈ N / x+2=3 ∨x–1=5
⇒ ∼q: ∀ x ∈ N , ∼ ¿ 3 ∨x – 1 = 5 )
29
ó ∼ q: ∀ x ∈ N , ∼ ¿ 3 ∨x – 1 ≠ 5 )
Esto último debido a que: ∼( p∨q) ≡ ∼p ∧ ∼q
Nota que q es verdadera ya que si ∃ x=1 /
1+2=3 ∨ 1–1=5
V F
V
y la disyunción es verdadera para x=1.
En cambio ∼q es falsa ya que si x=1
1+2≠3 ∨ 1–1≠5
F V
30
p(o): o es un número par, es una proposición “V”
q(3): __________, es una proposición “V”
ya que los números complejos son de la forma” a + bi”, dónde i =√ −1 y 3 se
puede escribir como “3 + oi”.
γ (2): 2 es múltiplo de 3, es una proposición______.
Luego reemplazando para hallar el valor de verdad pedido:
[p(o) ∧ q(3)]→ γ ( 2 )
V V
V F
F
x = 2 : 2≥ 3 ∨ 2 < 4
F V
V
x = 3 : 3≥ 3 ∨ 3 < 4
V V
V
x = 4 : 4≥ 3 ∨ 4 < 4
V F
V
x = 5 : 5≥ 3 ∨ 5 < 4
V F
V
31
Como todos los valores de U cumplen, la proposición ∀ x ∈ U, x
≥ 3 ∨ x < 4 es verdadera.
x = 4 : _________________
x = 5 : _________________
x = 4 : _________________
x = 5 : _________________
luego ∄ x ∈ Q / x2 = 2 y q es ________________
r : ∀ x ∈ Z , x2 – 2x + 3 > 0
Deben cumplir todos los números enteros; completemos cuadrados para ver
si ello ocurre:
x2 – 2x + 3 > 0
x2 – 2x + 1 + 2 > 0
p ∧ (∼ r → q)
V
F F
V V
V
33
30 Dadas las siguientes proposiciones:
p: ∼[ ∀ x ∈ Q / x2 + 1 > 0 ]
1
q: ∃ x ∈ Z / = 0 ∨ ∃ x ∈ Q ' / 2x = 5
x
x2 − y 2 = x + y
r : ∀ x ∈ Z, ∀ x ∈ Z ,
x−y
Hallemos el valor de verdad de:
(q ∧ ∼ r ) → [ p ∨ ( q → p)]
Solución:
p: ∼[∀ x ∈ Q / x2 + 1 > 0]
ó p: ∃ x ∈ Q / x2 + 1 ≯ 0
ó p: ∃ x ∈ Q / x2 + 1 ¿ 0
siempre +
∀
Luego p es ______ ya que un número positivo no puede ser menor o igual
que cero.
1
q: ∃ x ∈ Z/ =0 ∨ ∃ x ∈ Q ' / 2x = 5
x
1
Falso, ya que Verdadero, ya que
x
34
no puede ser cero x = log 25 ∈ Q
para algún x ∈ Z satisface la ecuación
2x = 5
Luego:
Q: F ∨ V
V∀
x2 − y 2 = x + y
r : ∀ x ∈ Z, ∀ y ∈ Z ,
x−y
x2 − y 2 = x + y es una propiedad muy usual del álgebra, es siempre cierta
x−y
excepto si el denominador es cero, así cuando x=3, y=3, tendríamos:
32−32 = 3 + 3 ó 0 =6 lo cual no es cierto.
3−3 0
( q ∧ ∼ r ) → [ p ∨ (q → p)]
F V F
V V F F
V F
V
35
CONJUNTOS NUMÉRICOS
R
37
Q Q´
Z
N
EJERCICIOS GRUPO 3
38
1
b) ∃ n ∈ Z + , n ≤ ; Z + = {1, 2, 3, . . .}
n
c) ∀ x ∈ N , 2x = 3 ; N = {0, 1, 2, 3, . . .}
d) ∃ x ∈ Z , x2 + 1 < 0 ; Z ={. . . , -2, -1, 0, 1, 2, . . .}
3. Si M ={0, 1, 2, 3, 4, 5}, halla el valor de verdad de cada una de las siguientes proposiciones:
a) ∃ x ∈ M / x + 2 = 4 → x + 1 = 3
b) ∀ x ∈ M , x + 3 < 5 ∨ x ≥ 2
c) ∀ x ∈ M , x – 2 = 1 ↔ x + 3 = 6
5. Si P = { -4, -3, -2, -1, 0, 1, 2, 3, 4}, determina el valor de verdad de las siguientes proposiciones:
a) (∃ x ∈ P / x2 – 4 = 0) ∧ ( ∀ x ∈ P , x2 ≥ 0)
b) (∃ x ∈ P / x4 – 1 > 0) → ( ∀ x ∈ P , x2 - 4 ≠ 0)
6. Coloca en los paréntesis las letras que corresponden a la negación de cada una de las siguientes
proposiciones:
(a) 2 < 3 ( )2≤3
(b) ∃ x ∈ R / x2 > 0 ( ) ∀ x ∈ R , x2 + 1 ≥ 0
(c) ∀ x ∈ R , x2 = 0 ( )2≮3
(d) 2 > 3 ( ) ∀ x ∈ R , x2 ≤ 0
(e) ∃ x ∈ R /x + 1 < 0
2
( ) ∃ x ∈ R / x2 ≠ 0
39
40