ALGEBRA 1

(IN1001C, Sección 8)
Clase 1

Prof. Ricardo Ramı́rez Rosas

rramirezrosas@gmail.com
Departamento de Matemática y Fı́sica Aplicadas
Universidad Católica de la Santı́sima Concepción, Chile

9 de Marzo de 2011

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 1 / 28

 Introducción

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 2 / 28

Razonamiento Inductivo y Deductivo

En ciencias, las teorı́as son juicios sobre la base de cuán bien ellas
explican y predicen fenómenos observables, dicho de otra forma,
sobre la base de cuán bien ellas se “ajustan”a los datos
experimentales.
El método de razonamiento que hace inferencias y saca
conclusiones a partir de observaciones se conoce como
Razonamiento Inductivo.
Muchas creencias de la gente se fundamenta en este tipo de
razonamiento inductivo.
En matemáticas, las conclusiones basadas sólamente en
observaciones no están permitidas.

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 3 / 28

 Por ejemplo: podemos observar que cada vez que elevamos al
cuadrado un número entero positivo impar el resultado que
obtenemos es otro entero positivo impar. Pero, no importa cuantas
veces llevemos a cabo este “experimento”y obtengamos el
resultado esperado, esto no constituirá una demostración
matemática de que el cuadrado de un entero positivo impar es
también un entero positivo impar.
La forma aceptada de razonamiento en una demostración
matemática es llamada Razonamiento Deductivo, en donde, a
partir de un conjunto de hipótesis se alcanza una conclusión por
medio de inferencias lógicas.
Estas conclusiones no serán de utilidad si se basan en hipótesis
incorrectas.

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 4 / 28

Sistemas Axiomáticos

Un sistema axiomático está formado por:

1 una colección de sı́mbolos y términos no definidos (primitivos), sin

ningún significado en sı́ mismos (contrario a la visión pitagórica).
2 reglas sintácticas para construir “sentencias”a partir de los
sı́mbolos y términos no definidos.
3 axiomas: una colección de sentencias construidas
convenientemente.
4 reglas de inferencia.

Una teorı́a matemática puede considerarse entonces como la evolución

de un sistema axiomatico mediante el uso del razonamiento deductivo
(las reglas de la inferencia).

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 5 / 28

Capı́tulo 1

Lógica Proposicional

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 6 / 28

 Capı́tulo 1 Lógica Proposicional

Proposición Matemática

Nuestro interés es estudiar lógicas bi-valentes

Definición:
Una proposición es cualquier enunciado susceptible de asumir uno sólo
de 2 valores de verdad (o valores lógicos): o es verdadero, o es falso,
pero no ambos.

Ejemplo 1: Enunciados que sı́ son proposiciones

1 2 es un número natural
2 4 es mayor que 5
3 0 6= 1

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 7 / 28

 Capı́tulo 1 Lógica Proposicional

Ejemplo 2: Enunciados que no son proposiciones

1 r es un número real
2 a+b=2
N
3 +×=
4 1, 2, 3, . . . , 100
5 1+2+3+4+5
6 H2 O = AGUA
7 la Luna gira alrededor del Sol
8 el perro es el mejor amigo del hombre
9 todos los estudiantes estudian por obligación

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 8 / 28

 Capı́tulo 1 Lógica Proposicional

Negación

Definición:
Se define la negación de una proposición p como la proposición que
asigna el valor de verdad contrario. Esta nueva proposición la
denotamos por ∼ p. (También suelen usarse las siguientes notaciones
equivalentes:−p, ¬p, p, p0 )

Podemos resumir esto usando una tabla de verdad:

p ∼p
V F
F V

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 9 / 28

 Capı́tulo 1 Lógica Proposicional

Fórmulas Proposicionales

Definición:
A partir de proposiciones simples, las cuales podemos denotar por p,
q,r,... es posible construir otras proposiciones más complejas usando
conectivos lógicos, a dichas proposiciones les llamamos expresiones
lógicas o fórmulas proposicionales.
Las denotamos, en general, por P (p, q, . . .).

Observación !!
Las expresiones lógicas no son proposiciones. Sólamente cuando las
proposiciones que la componen se reemplacen por proposiciones
especı́ficas se tendrá una proposición.

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 10 / 28

 Capı́tulo 1 Lógica Proposicional

Conectivos Lógicos

Dadas dos proposiciones, p y q, definiremos por su tabla de verdad las

proposiciones que resultan de usar los siguientes conectivos lógicos:

Conjunción: p ∧ q, léase: “p y q”
Disyunción: p ∨ q, léase: “p o q”
Disyunción Excluyente: p Y q, léase “p o q pero no ambas”
Condicional: p → q, léase: “si p entonces q”
Bicondicional: p ↔ q, léase: “p si y sólo si q”

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 11 / 28

 Capı́tulo 1 Lógica Proposicional

Conectivos Lógicos
Tablas de Verdad

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

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 12 / 28

 Capı́tulo 1 Lógica Proposicional

¿Y cómo se pueden construir tablas de verdad para más

proposiciones?

Fácil !!
Si tenemos n proposiciones simples, la tabla de verdad tendrá 2n filas
(total de combinaciones de valores de verdad de las proposiciones
involucradas)

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 13 / 28

 Capı́tulo 1 Lógica Proposicional

Tautologı́a

Definición:
Una tautologı́a es una expresión lógica P (p, q, . . .) cuyo valor de verdad
es siempre Verdadero (V ), cualquiera sean los valores de verdad de las
proposiciones que la componen.

Verifique, construyendo la tabla de verdad, que las siguientes

proposiciones son tautologı́as:
(∼ p ∨ q) ←→ (p −→ q)
(p −→ q) ←→ (∼ q −→∼ p)
∼ (p ∨ q) ←→ (∼ p ∧ ∼ q)

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 14 / 28

 Capı́tulo 1 Lógica Proposicional

Proposiciones Lógicamente Equivalentes

Definición:
Diremos que dos expresiones lógicas P (p, q, . . .) y Q(p, q, . . .) son
lógicamente equivalentes si al conectarlas con el bicondicional se
obtiene una tautologı́a.
Simbólicamente, esto se denota P ⇐⇒ Q

Ejemplos:
Las proposiciones del ejemplo anterior.

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 15 / 28

 Capı́tulo 1 Lógica Proposicional

Contradicción

Definición:
Una contradicción es una expresión lógica P (p, q, . . .) cuyo valor de
verdad es siempre Falso (F ), cualquiera sean los valores de verdad de
las proposiciones que la componen.

Ejemplo:
Verifique, construyendo la tabla de verdad, que las siguientes
proposiciones son contradicciones:
(p ∨ q) ∧ (∼ p ∧ ∼ q)
(p ∧ q) ∧ (p −→∼ q)

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 16 / 28

 Capı́tulo 1 Lógica Proposicional

Contingencia

Definición:
Una contingencia es una expresión lógica P (p, q, . . .) que toma valores
de verdad Verdaderos (V ) en unos casos y Falsos (F ) en otros.

Por ejemplo:
Note que la proposición p ∨ (q ∧ r) es una contingencia.

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 17 / 28

 Capı́tulo 1 Lógica Proposicional

Implicación Lógica

Definición:
Decimos que una expresión lógica P (p, q, . . .) implica lógicamente una
expresión lógica Q(p, q, . . .), lo cual denotamos por
P (p, q, . . .) =⇒ Q(p, q, . . .), si Q(p, q, . . .) es verdadera cada vez que
P (p, q, . . .) es verdadera.

Resultado Importante !!
   
P (p, q, . . .) =⇒ Q(p, q, . . .) ⇐⇒ P (p, q, . . .) −→ Q(p, q, . . .) es una
tautologı́a.

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 18 / 28

 Capı́tulo 1 Lógica Proposicional

Principales Reglas de Inferencia (deducción) Lógica:

1 p =⇒ (p ∨ q)
2 (p ∧ q) =⇒ p
3 p ∧ (p −→ q) =⇒ q (Modus ponens)
4 (p −→ q)∧ ∼ q =⇒∼ p (Modus tollens)
5 (p ∨ q)∧ ∼ p =⇒ q
6 [(p −→ q) ∧ (q −→ r)] =⇒ (p −→ r)

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 19 / 28

 Capı́tulo 1 Lógica Proposicional

Propiedades de la Conjunción

Cualesquiera sean las proposiciones p, q y r se cumple lo siguiente:

para la Conjunción
Asociatividad (p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r)
Conmutatividad p ∧ q ⇐⇒ q ∧ p
Absorción p ∧ F ⇐⇒ F
Identidad p ∧ V ⇐⇒ p
Idempotencia p ∧ p ⇐⇒ p
del Complemento p ∧ ∼ p ⇐⇒ F

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 20 / 28

 Capı́tulo 1 Lógica Proposicional

Propiedades de la Disyunción

Cualesquiera sean las proposiciones p, q y r se cumple lo siguiente:

para la Disyunción
Asociatividad (p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r)
Conmutatividad p ∨ q ⇐⇒ q ∨ p
Absorción p ∨ V ⇐⇒ V
Identidad p ∨ F ⇐⇒ p
Idempotencia p ∨ p ⇐⇒ p
del Complemento p ∨ ∼ p ⇐⇒ V

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 21 / 28

 Capı́tulo 1 Lógica Proposicional

Distributividad entre la Conjunción y la Disyunción

La propiedad distributiva entre la conjunción y la disyunción nos dice

que cualesquiera sean las proposiciones p, q y r se cumple lo siguiente:

p ∧ (q ∨ r) ⇐⇒ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ⇐⇒ (p ∨ q) ∧ (p ∨ r)

Debido a la propiedad conmutativa también se cumple que

(q ∨ r) ∧ p ⇐⇒ (q ∧ p) ∨ (r ∧ p)
(q ∧ r) ∨ p ⇐⇒ (q ∨ p) ∧ (r ∨ p)

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 22 / 28

 Capı́tulo 1 Lógica Proposicional

Leyes de De Morgan

Estas propiedades tienen la particularidad de relacionar la conjunción,

la disyunción y la negación en una misma fórmula lógica:

∼ (p ∧ q) ⇐⇒ ∼ p ∨ ∼ q

∼ (p ∨ q) ⇐⇒ ∼ p ∧ ∼ q

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 23 / 28

 Capı́tulo 1 Lógica Proposicional

Propiedades del Condicional

(p −→ q) ⇐⇒ (∼ p ∨ q)
Contra-recı́proca (p −→ q) ⇐⇒ (∼ q −→∼ p)
Reducción al Absurdo (p −→ q) ⇐⇒ [(p ∧ ∼ q) −→ C]
Negación ∼ (p −→ q) ⇐⇒ (p ∧ ∼ q)

Aquı́, C indica una contradicción.

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 24 / 28

 Capı́tulo 1 Lógica Proposicional

Proposiciones Recı́proca, Contra-recı́proca y Contraria

A partir de la condicional p −→ q se definen las siguientes

proposiciones:
recı́proca: q −→ p
contra-recı́proca: ∼ q −→∼ p
inversa o contraria: ∼ p −→∼ q

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 25 / 28

 Capı́tulo 1 Lógica Proposicional

Otras lecturas para p −→ q

p es una condición suficiente para q

q es una condición necesaria para p

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 26 / 28

 Capı́tulo 1 Lógica Proposicional

Propiedades del Bicondicional

Conmutatividad (p ←→ q) ⇐⇒ (q ←→ p)
Asociatividad [(p ←→ q) ←→ r] ⇐⇒ [p ←→ (q ←→ r)]
Negación ∼ (p ←→ q) ⇐⇒ [(∼ p ∧ q) ∨ (p ∧ ∼ q)]
(p ←→ q) ⇐⇒ [(p −→ q) ∧ (q −→ p)]
(p ←→ q) ⇐⇒ [(p ∧ q) ∨ (∼ p ∧ ∼ q)]

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 27 / 28

 Capı́tulo 1 Lógica Proposicional

Otras lecturas para p ←→ q

p es una condición necesaria y suficiente para q

q es una condición necesaria y suficiente para p

Prof. Ricardo Ramı́rez (DMFA) ALGEBRA 1 (IN1001C, SECC. 8) 9 de Marzo de 2011 28 / 28