Escolar Documentos
Profissional Documentos
Cultura Documentos
FACULTAD DE INGENIERÍA
UNIVERSIDAD CATÓLICA DE LA SANTÍSIMA CONCEPCIÓN
CONCEPCIÓN-CHILE
Álgebra - IN1001C
Lógica Matemática
Concepto de proposición
Definición (Proposición). Una proposición es una oración que afirma o niega algo, es decir, una propo-
sición se distingue por ser un enunciado verdadero o bien falso, pero no ambos simultáneamente.
Actividad 1 (5 minutos)
En cada enunciado, determine si es o no una proposición, justificando adecuadamente. De ser una proposición
indique el valor de verdad.
1
Observaciones.
Para representar las proposiciones se utilizan usualmente letras minúsculas tales como p, q, r,... etc.
Se usan los siguientes sı́mbolos para representar los términos de enlace
∧, se denomina conjunción y se lee y
Actividad 2 (5 minutos)
Suponga que, p : Goliat es alto, q : David es bajo y r : David derrota a Goliat. Escriba las siguientes
proposiciones.
Actividad 3 (5 minutos)
Defina las proposiciones elementales necesarias para escribir la siguiente proposición en forma simbólica,
“Jorge estará feliz e irá a la fiesta si, y sólo si, aprueba Álgebra”.
2
Definición. Se llama negación de una proposición p a la proposición no p la cual se denota ∼ p. La
proposición ∼ p es falsa si la proposición p es verdadera y, es verdadera si p es falsa.
Tablas de Verdad
A continuación presentaremos un esquema de los restantes conectivos.
p q p∧q p∨q pYq p→q p↔q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
Observaciones.
La condicional p → q también se lee “p es condición suficiente para q” o “q es condición necesaria para p”.
La bicondicional p ↔ q también se lee “p es condición necesaria y suficiente para q”.
Actividad 4 (5 minutos)
Dadas las proposiciones
Observación.
Toda tabla de verdad tiene 2n renglones, dónde la n corresponde al número de variables proposicionales.
3
Actividad 5 (15 minutos)
Construya una tabla de verdad para las siguientes proposiciones.
(a) [(p ∧ q) ∨ (p∧ ∼ q)] ∨ (∼ p∧ ∼ q)
Definición.
Tautologı́a: corresponde a una proposición compleja que es cierta para cualquier valor de verdad de cada
una de sus componentes.
Contradicción: corresponde a una proposición compleja que es falsa cualesquiera sea el valor de verdad
de cada una de sus componentes.
Contingencia: corresponde a una proposición compleja que es verdadera para algunos valores de verdad
de cada una de sus componentes y es falsa para otros.
4
Actividad 6 (10 minutos)
Construya una tabla de verdad para la siguiente proposición e indique si es Tautologı́a, Contingencia o
Contradicción.
[∼ (p →∼ (p → q))] ↔ p ∧ q.
Definición.
Equivalencia: dos proposiciones son lógicamente equivalentes si al conectarlas mediante la bicondicional,
la proposición resultante es una tautologı́a. Si esto ocurre escribimos p ≡ q o bien p ⇔ q.
(b) Muestre si acaso la siguiente proposición es una equivalencia lógica [((p → q) ↔∼ q)] ↔∼ (p ∧ q).
5
Álgebra de proposiciones (equivalencias de composiciones más comunes de proposiciones simples).
(p ∨ q) → q ⇔ p → q.
6
Cuantificadores Lógico
Definiciones.
Función proposicional: es una expresión que contiene una o más variables, al cual si asignamos valores
especifı́cos se convierte en una proposición. Notación p(x), q(x, y), r(x, y, z).
Conjunto de validez: es el conjunto de todos los valores de una función proposicional, para los cuales
ésta es verdadera.
Cuantificador universal: nos indica que una función proposicional es verdadera para todos los elementos
de un conjunto y se denota por ∀.
Cuantificador existencial: nos indica que una función proposicional es verdadera para algunos elemen-
tos de un conjunto y se denota por ∃.
Cuantificador existencia y unicidad: nos indica que una función proposicional es verdadera para un
único elemento de un conjunto y se denota por ∃!.
7
Actividad 10 (10 minutos)
Escriba la negación de las siguientes proposiciones,
8
Razonamiento Lógico
Ejemplo.
P1 : “Todos los hombres son mortales” (premisa 1), P2 : “Euclides es un hombre” (premisa 2).
Q : “Euclides es mortal”(conclusión).
P1 ∧ P2 → Q.
Observaciones.
Un argumento no se modifica si una o varias de las premisas se reemplazan por otras premisas equivalentes.
Si un argumento es válido y las premisas son verdaderas, entonces la conclusión es verdadera.
Métodos de Demostración
A continuación se presentarán tres métodos de demostración de implicaciones.
Esquema Operativo General. Para demostrar que una fórmula del tipo R ⇒ S es teorema, se procederá de la
siguiente manera.
A partir de la hipótesis, se construye un argumento lógico en el cual se pueden utilizar los axiomas y los teo-
remas ya probados, mediante la aplicación de las reglas de validez, para llegar a la fórmula S como conclusión
o tesis.
9
Actividad 12 (10 minutos)
Demuestre de manera directa (p → q) ↔ p ⇔ (p ∧ q).
R −→ S es verdadera.
Esquema Operativo General. Para demostrar que una fórmula del tipo R ⇒ S es un teorema, se procederá
de la siguiente forma.
A partir de la hipótesis, se construye un argumento lógico en el cual se pueden utilizar los axiomas y los teo-
remas ya probados, mediante la aplicación de las reglas de validez, para probar que la proposición R es falsa.
10
Actividad 13 (10 minutos)
Sea a ∈ N. Demuestre por el método de reducción al absurdo que, si a2 es impar, entonces a es impar.
Esquema Operativo General. En este caso se utiliza el esquema de la demostración directa, pero al condicional
∼ S →∼ R.
11
Actividad de Autoevaluación
6 8
a) Si 3 6= o 2= , entonces 3 = 4.
2 4
b) 4 6= 22 es una condición suficiente para que 1 6= 8.
3. Demuestre, de manera directa, que si a y b son números pares, entonces a + b es número par.
12