UNIVERSIDAD CATÓLICA DE LA SANTÍSIMA CONCEPCIÓN

FACULTAD DE INGENIERÍA
DEPARTAMENTO DE MATEMÁTICA Y FÍSICA APLICADAS.
Departamento de Matemática y Fı́sica Aplicadas - UCSC 2011

Guı́a 1: Lógica
Álgebra - IN1001C

LÓGICA Enunciados y valor de verdad

I. En cada caso verifique si es o no una Proposición, justificando adecuadamente. De ser una proposición indique el valor de
verdad.

1.1) 5 + 8 = 45. 1.5) Estudien álgebra.

1.2) Pablo Neruda fue entrenador del Real Madrid. 1.6) Los alumnos de Ingenierı́a estudian todos los dı́as.
1.3) ¡ Ayúdame, por favor !. 1.7) x + y = 20.
1.4) ¿Son las tres de la tarde? 1.8) Alexis Sánchez debe jugar en el Barcelona.
Guı́a de Lógica – Álgebra (IN1001C)

LÓGICA Conectivos y equivalencias

II. Escriba cada una de las proposiciones en forma simbólica

2.1) O el Negro Piñera no estudia o 4+2=7. 2.4) Marcelo Bielsa no estudia inglés.
2.2) Brat Pitt va al cine y Angelina Jolie estudia álgebra. 2.5) Fernando Gonzalez es tenista entonces no es futbolista.
2.3) Mañana es Domingo o el perro ladra. 2.6) Goliat es alto y David es bajo.

III. Suponga que, p : 10 > 5, q : El dı́a tiene 25 horas y r : Esta guı́a es para la asignatura Álgebra, siendo, verdadera, falsa y
verdadera respectivamente. Escriba las siguientes proposiciones y determine su valor de verdad.

3.1) p ∨ q 3.5) p Y r 3.9) (p ∨ q) → (p ∧ r)

3.2) p ∧ r 3.6) (p ∨ q) ↔ (p ∧ r) 3.10) (p ∨ r) Y q
3.3) r → q 3.7) p Y q 3.11) (p → q) ∧ (p → r)
3.4) q ∧ ∼ p 3.8) (p ∧ q) ↔ (p Y r) 3.12) (p ∨ q) → r

IV. Sean p, q y r tres proposiciones, tal que (p ∧ q) → r tiene valor de verdad Falso. Determinar el valor de verdad de
(∼ p ∧ r) →∼ (∼ q Y p)

V. Construya tabla de verdad para las siguientes proposiciones. Además indique en cada caso si es Tautologı́a, Contingencia
o Contradicción (p,q,r,m,s y x son proposiciones.)

5.1) (p ∧ q) ∧ (∼ p ∧ ∼ q) 5.4) (p ∧ ∼ q) ∧ ∼ p 5.7) (p ∧ q) ∨ (q ∧ ∼ r)

5.2) (p Y q) → p 5.5) (p ∧ q) ∨ q 5.8) m ∨ (s ∧ x)
5.3) (r ∨ ∼ q) ↔ ∼ p 5.6) (p ∨ q) → (r∧ ∼ r) 5.9) (p ∧ r) ↔ (r ∧ p)

1
 2 UCSC - 2011

VI. Sean p y q dos proposiciones y sea F un conectivo lógico tal que p Fq tiene valor de verdad verdadero si p y q son falsas,
en otros casos es falsa. Demostrar que

6.1) pFq ⇔∼ (p ∧ q) ∧ (p ↔ q) 6.2) pFq ⇔∼ p∧ ∼ q 6.3) p ∨ q ⇔ (pFq)F(pFq)

Departamento de Matemática y Fı́sica Aplicadas - UCSC 2011

VII. Escribir la negación de las siguientes proposiciones e indicar su valor de verdad.

7.1) Dos rectan en un plano son paralelas entonces no se interceptan.

7.2) Si un número es tres y otro número es cuatro entonces su multiplicación es doce.
7.3) La multiplicación de dos números es positivo entonces ambos números son positivos o ambos son negativos.
7.4) El 0 es un número racional o es un número entero y no es irracional.
7.5) Dos triángulos son equivalentes entonces sus ángulos correspondientes son iguales.
7.6) Cinco es mayor que tres y tres es mayor que dos lo que implica que cinco no es menor que dos.
7.7) Los gatos ladran y tienen cuatro patas entonces son felinos.

LÓGICA Cuantificadores
VIII. Considere los siguientes enunciados abiertos o predicados.

P (x, y) : x es mayor que y Q(x, y) : x es más rápido que y

Guı́a de Lógica – Álgebra (IN1001C)

escriba las siguientes expresiones. Donde x ,y son personas.

8.1) P (Juan, Pedro) ∨ Q(Juan, Pedro) 8.3) ∀x, ∀yP (x, y) → Q(x, y)
8.2) ∃y, P (Marcos, y) ∧ Q(Marcos, y) 8.4) ∀x, ∃yP (x, y)

IX. Escriba simbólicamente y negar los siguientes predicados.

9.1) Existe un único tenista mejor que Marcelo Rı́os.

9.2) Todos los alumnos de ingenerı́a saben leer, pero no entienden lo que leen.
9.3) Existe un número que es más grande que cualquier solución de la ecuación o no tiene solución.
9.4) Todos los estudiantes de álgebra estudian clase a clase.
9.5) En nuestro sistema existe un único sol.

X. Determine el valor de verdad y niegue las siguientes proposiciones.

10.1) ∀x ∈ R : x > 0 10.7) ∀x ∈ R : x2 ≥ 0

10.2) ∃x ∈ R : x > 0 10.8) ∀x ∈ R, ∃y ∈ R : x2 + y 2 > 0
10.3) ∃x ∈ R, ∀y ∈ R : x2 + y 2 > 0 10.9) ∀x ∈ R, ∃y ∈ R : xy > 0
10.4) ∃x ∈ R : x2 > 0 10.10) ∃x ∈ N : x2 = x
10.5) ∀x ∈ R, ∀y ∈ R : x > y 10.11) ∃x ∈ R, ∃!y ∈ R : xy = 0
10.6) ∃! n ∈ N, ∀x ∈ R : x < n 10.12) ∃n ∈ N, ∀m ∈ N : n
m
∈Q

Recordar:
p q p ∧q p q p∨q p q pYq p q p→q p q p↔q
V V V V V V V V F V V V V V V
V F F V F V V F V V F F V F F
F V F F V V F V V F V V F V F
F F F F F F F F F F F V F F V

mg/mc/mt/mg/ml/vp/me/rr/vs/ra 12 de marzo de 2011