PRÁCTICO- LÓGICA

Ejercicios

1) Cuáles de las expresiones son proposiciones, dando en cada caso su valor de verdad.
Entre las que no lo fueran reconocer las funciones proposicionales.

a. 2 + 3 = 5

b. Todo cuadrado es un rombo

c. X + 2 = 6

d. Qué día es hoy?

e. 20 es múltiplo de 4

f. Todo número entero es un número natural.

g. No molestar

h. Todo número racional es un número real

i. x – 2 y < 0

j. x es un número par

2) Sean las funciones proposicionales:

a. P(x): x es impar

Hallar el valor de la proposición resultante cuando:

X = -4

X=5

b. P(x,y): x es divisor de y

Hallar el valor de la proposición resultante cuando:

X = -2, y = 6

X = 5, y = 8

3) Sean p, q, r las proposiciones

p: hoy es feriado

q: mañana es laborable

r: hoy es lunes
Escribir en forma simbólica

a. Hoy es feriado y mañana es laborable, o, hoy es lunes y mañana es laborable

b. Si hoy es feriado, entonces hoy no es lunes y mañana es laborable.-
c. Si hoy es lunes y mañana es laborable, entonces hoy es feriado.
d. Mañana es laborable y hoy no es feriado, ó hoy es lunes

4) Siendo p: tengo un perro y q: tengo un gato; escribir en lenguaje corriente las

expresiones simbólicas siguientes

a. p Ʌ q c. ⌐p Ʌ ⌐q

b. p Ʌ ⌐q d. ⌐(⌐p Ʌ ⌐q)

5) Construir las tablas de verdad correspondientes a:

a. ⌐p Ʌ q e. ⌐ (p V q)

b. p Ʌ ⌐q f. ⌐p Ʌ ⌐q

c. ⌐ (p Ʌ q) g. (⌐p) V (⌐q)

d. (⌐p) V q

6) En el ejercicio anterior hay una proposición equivalente a p → q encuéntrela.-

7) Demostrar las siguientes equivalencias enunciadas en teoría

a. ⌐ (⌐p) ≡ p

b. p Ʌ p ≡ p, p V p ≡ p

c. p V q ≡ q V p, p Ʌ q ≡ q Ʌ p

d. (p V q) Vr ≡ p V (q V r) , (p Ʌ q) Ʌ r ≡ p Ʌ (q Ʌ r)

e. (p V q) Ʌ r ≡ (p Ʌ r) V (q Ʌ r), (p Ʌ q) V r ≡ (p V r) Ʌ (q V r)

f. ⌐ (p V q) ≡ ⌐ p Ʌ ⌐ q

8) Construir las tablas de verdad correspondientes a las proposiciones que se dan

a. q → p b. ⌐p → q c. p → ⌐q d. (⌐p) → (⌐q)
e. ⌐ (q → p) f. (⌐q) → (⌐p) g. ⌐(p → q)
9) Demostrar que:

a. p Ʌ p implica p

b. p V q no implica p

c. ⌐p implica p → q

10)Escribir los condicionales recíproco, contrario y contra reciproco de los siguientes

condicionales directos:

a. Si un número par es divisible por 3 entonces es múltiplo de 6.

b. ABCD tiene sus lados opuestos paralelos entonces ABCD es un rectángulo.

11) Verificar que los siguientes bicondicionales son tautologías.

a. (p → q) ↔ (⌐p → ⌐q)

b. (q → p) ↔ (⌐p → ⌐q)

12) Negar los siguientes condicionales

a. x > 5 → 𝑥 2 > 25

b. a < b → a + b < b + c

13) Dibujar los circuitos correspondientes a las siguientes proposiciones

a. (p Ʌ ⌐q) V (⌐p Ʌ q)

b. (p Ʌ q) V ⌐q

c. (p Ʌ ⌐q) → r

d. (p → q) Ʌ (q → p)

e. (p Ʌ r) → (⌐q V r)

14) Escribir las proposiciones correspondientes a los siguientes circuitos

p q
a.

r s
b. p q

⌐q ⌐p

c. q

p r

15) Negar las siguientes proposiciones:

Ǝ x / P(x) V ⌐ Q(x)

∀ 𝑥 ∶ 𝑃(𝑥) → 𝑄(𝑥)

∀𝑥: ∃ 𝑦 ∶ 𝑥 ∗ 𝑦 = 0

16) Considerar las siguientes funciones proposicionales:

P(x): 𝑥 2 − 3𝑥 + 6 = 0

Q(x):𝑥 2 >2

R(x):𝑥 3 + 1 = (𝑥 + 1)3

Convertirlas por medio de los cuantificadores ∀ 𝑦 ∃ y decir si las proposiciones son

verdaderas ó son falsas, cuando x= ℤ.-