Está en la página 1de 6

Nombres: Eyfree Ramos Herrera, Gabriela Pérez, Anthony Paulino, Marysabel Pérez

Matrículas: 20191089, 20192030, 2018245, 20190159

Grupo: 41022 Fecha: 26/05/2020 Profesora: Ángela Martín

ALGEBRA DE PROPOSICIONES

1) Diga en cada caso si el enunciado es o no una proposición. En caso de ser una


proposición, diga su valor de verdad.

Enunciado Proposición Valor de verdad


Si 2x – 2 = 0 entonces x = 2 Es una proposición falso
4 y 9 son números primos Es una proposición falso
relativos
Camine No es una proposición
O4>2O4<2 Es una proposición Verdadero
Existen dos soluciones para Es una proposición Falso
x 2 + 4 = 0 y ambas son
números reales
¿Qué hora es? No es una proposición

2) Construya la tabla de verdad de cada proposición y clasifíquela en contingencia, tautología


o contradicción.

a) [( p → q)∧(q → r )]→ p→ r Contingencia

¿ → q¿ ∧ (q → r)] → p → r
V V V V V V V V V V V
V V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F
F V V V V V V F F V V
F V V F V F F V F F F
F V F V F V V F F V V
F V F V F V F F F V F

b) ( p v q) ↔( p ∧ q) Tautología

(p V q) ↔ ( p ∧ q)
F V V V V F F F
F V V F V F F V
F F V V V V F F
V F F F V V V V
c) ( p → q)∧( p ∧ q) Contingencia

(p → q) ∧ (p ∧ q¿
F V V V F V F F
V V F F V V V V
F F V V F F F F
F F V F F F F V

d) ( p v q ¿ ↔ ¿ v q ¿ Contingencia

P V q ↔ q v q
V V V V V V F
V V F V F V V
F V V V V V F
F F F F F V V

3) Diga si las proposiciones compuestas en cada caso son lógicamente equivalentes.


Justifique la respuesta utilizando tablas de verdad

a) ¿ v q ¿ ∧( p ∧q) ≡ p q No son lógicamente equivalentes

(P V q q) ∧ ¿ ∧ q)
V V V F F F V
V V F F F F F
F V V V V V V
F F F F V F F
p
V F V
V V F
F V V
F F F

b) p ∧¿ v r ¿ ≡(p ∧ q) v ( p ∧r ¿ Son lógicamente equivalentes

P ∧∧ (qq) v v r) (p ∧ r)
V V V V V
V V V V F
V V F V V
V F F F F
F F V V V
F F V V F
F F F V V
F F F F F
(p
V V V V V V V
V V V V V F F
V F F V V V V
V F F F V F F
F F V F F F V
F F V F F F F
F F F F F F V
F F F F F F F

c) ( p → q)≡ p→ q No son lógicamente equivalentes

¿→ →q q)
F V V V
V V F F
F F V V
F F V F
p
F V F
F V V
V F F
V V V

d) [p v ¿ ∧ q ¿ ¿ ≡ q Son lógicamente equivalentes por la ley de absorción ( p  q ) p  p

[p V (P ∧ q)] (p  q) v p  P
V V V V V V V V V V V V
V V V F F V F F V V V V
F F F F V F F V F F V F
F F F F F F F F F F V F

4) Sean las proposiciones p: 4 es múltiplo de 2; q: 4 >0 ”; r: “2 es factor de 4”

Escriba en el lenguaje ordinario: y determine el valor de verdad de las proposiciones


compuestas:

a) p → r: si 4 es múltiplo de 2 entonces 2 es factor de 4 V

b) q → p : si 4 no es mayor que 0 entonces 4 no es múltiplo de 2 V

c) q r: o 4 > 0 o 2 es factor de 4 F

d) r →¿ v p): si 2 no es factor de 4 entonces 4 no es mayor que 0 o 4 es múltiplo de 2 V


e) (q ∧ p): 4 no es mayor que 0 o 4 no es múltiplo de 2 F

5) Dadas las proposiciones: r:|−3|=−3 , q: 3 y 7 son números primos; p: 4 es múltiplo de 8.


Determine el valor de verdad de las expresiones que siguen:

a) r q : V b) p ∧¿ v r) : F c)(r → q)↔ ¿ v p ¿ : v

6) Sea la condicional directa: “Si n ∈ N es par, entonces n2 es par,”. Exprese esta proposición
en forma equivalente con palabras y con símbolos

1. Si un número que pertenece al conjunto de los números naturales es par entonces su


cuadrado es par.

2. p → q

7) Exprese la negación de la condicional anterior en palabras y en símbolos

Palabras: Si un número que pertenece al conjunto de los números naturales es par entonces es
falso que su cuadrado es par.

Símbolos: (p → q ¿

8) Traduzca las proposiciones a la forma simbólica

a) x = 10 implica 2x = 20: p → q

b) 3x - 2 = 11 es equivalente a x = 3: p↔ q

c) O invierto mi dinero en acciones o lo pongo en una cuenta de ahorros: p q

d) Si un triángulo tiene dos lados iguales, entonces es isósceles y recíprocamente: p→q ∧ q→


p

9) Encuentre:

a) La contrarrecíproca de p →q : q → p

b) La recíproca de q → p : p → q

c) La inversa de la recíproca de q → p : p → q

d) La negación de p → q : ( p → q)

10) Indique cuáles de las proposiciones son equivalentes a la proposición “Si Irma es
culpable, entonces estuvo en el escenario del crimen”

a. Si Irma estuvo en el escenario del crimen, entonces es inocente

b. Irma es inocente o estuvo en el escenario del crimen

c. Si Irma no estuvo en el escenario del crimen, entonces es inocente


d. Si Irma estuvo en el escenario del crimen, entonces es culpable

e. Irma es culpable y no estuvo en el escenario del crimen

11) Exprese cada proposición con cuantificador en forma simbólica y decida si es verdadera o
falsa, en el caso de que sea falsa explique por qué.
n n n
a) Para todo número real x, √ x =x : ∀ x ∈ R , √ x n=x V
b) Todos los cuadrados son rectángulos: ∀ c ,c =r V

c) Para todo número real x y todo número real y, ( x− y )2=x 2− y 2:

∀ x ∈ R ∧ ∀ y ∈ R ,( x− y )2=x 2− y 2 F, porque x 2− y 2 es equivalente a (x + y) (x - y)


d) Algunos números racionales no son enteros: ∃ x ∈Q/ x ≠ Z V

e) Todos los números racionales son números irracionales: ∀ x ∈Q , x=I F, Porque los
números irracionales no se pueden expresar como un cociente.

f) Existe algún número real x, tal que: x – 5 = 9: ∃ x ∈ R/¿ x – 5 = 9 V

12) Explique por qué la negación de “ r >3 ” no es “r <3 ”

Porque para negar algo debe ser lo contrario en todo y en ambos casos el 3 no se incluye, la
negación de “r es mayor que 3” es “r no es mayor que 3”

13) Sólo una de las proposiciones siguientes es verdadera. ¿Cuál es?


3
a) Para todos los números reales x, √ x< 0
b) Para todos los números reales x menores que 0 , x 2también es menor que 0

c) Para algún número real x, x 2< 0

d) Para algún número real x, x ≥ 0

14) Exprese cada una de las proposiciones con cuantificadores anteriores en forma simbólica
3
a) ∀ x ∈ R , √ x< 0
b) ∀ x< 0∈ R , x 2 <0

c) ∃ x ∈ R/ x 2< 0

d) ∃ x ∈ R/ x ≥ 0

15) Represente la negación de las proposiciones con cuantificador siguientes de forma


simbólica y en palabras
a) Algunos números enteros son negativos

Simbólica: ∀ x ∈ Z , ¿

Palabras: Todos los números que pertenecen a los enteros son negativos.

b) No todos los números enteros son positivos

Simbólica: ∀ x ∈ Z , x ∈ Z
+¿ ¿

Palabras: todos los números enteros no son positivos.

c) Algunos polígonos son triángulos

Simbólica: ∀ Po/ ¿)

Palabras: Todos los polígonos no son triángulos.

16) Escriba cada uno de los enunciados abiertos como una proposición verdadera empleando
el cuantificador apropiado

a) 5x + 7 = 13 : ∃ x ∈ R/5 x+ 7=13

b) x + 2 > 13 : ∃ x ∈ N / x +2>13

c) |x| > 0 : ∀ x ,∨x∨¿ 0

d) x > 0 → xy + 1 > 0 : ∀ x> 0∈ N ∧ ∀ y> 0 ∈ N , x > 0 → xy + 1 > 0