Presentacion

La tabla de
verdad
Tablas de Verdad, Propiedades y equivalencias
Equivalencia
Lógica Lógicas
Algebra de
proposiciones

Cuantificadores

Demostraciones
Liliana Pérez

Departamento de Matemáticas
Facultad de Ciencias Naturales y Matemáticas
Escuela Superior Politécnica del Litoral

Octubre de 2019
 Tópicos de la clase

Presentacion

La tabla de 1 La tabla de verdad

verdad

Equivalencia
Lógica

Algebra de
proposiciones

Cuantificadores

Demostraciones
 Tópicos de la clase

Presentacion

La tabla de 1 La tabla de verdad

verdad

Equivalencia
Lógica
2 Equivalencia Lógica
Algebra de
proposiciones

Cuantificadores

Demostraciones
 Tópicos de la clase

Presentacion

La tabla de 1 La tabla de verdad

verdad

Equivalencia
Lógica
2 Equivalencia Lógica
Algebra de
proposiciones

Cuantificadores
3 Algebra de proposiciones
Demostraciones
 Tópicos de la clase

Presentacion

La tabla de 1 La tabla de verdad

verdad

Equivalencia
Lógica
2 Equivalencia Lógica
Algebra de
proposiciones

Cuantificadores
3 Algebra de proposiciones
Demostraciones

4 Cuantificadores
 Tópicos de la clase

Presentacion

La tabla de 1 La tabla de verdad

verdad

Equivalencia
Lógica
2 Equivalencia Lógica
Algebra de
proposiciones

Cuantificadores
3 Algebra de proposiciones
Demostraciones

4 Cuantificadores

5 Demostraciones
 La tabla de verdad

Presentacion

La tabla de las proposiciones simples o complejas las llamaremos

verdad
variables proposicionales
Equivalencia
Lógica

Algebra de
proposiciones

Cuantificadores

Demostraciones
 La tabla de verdad

Presentacion

La tabla de las proposiciones simples o complejas las llamaremos

verdad
variables proposicionales
Equivalencia
Lógica Las denotaremos por p, q, r , t
Algebra de
proposiciones

Cuantificadores

Demostraciones
 La tabla de verdad

Presentacion

La tabla de las proposiciones simples o complejas las llamaremos

verdad
variables proposicionales
Equivalencia
Lógica Las denotaremos por p, q, r , t
Algebra de
proposiciones El valor lógico de p, denotado VL(p), es el valor V , F
Cuantificadores dependiendo en que p sea verdadera o falsa.
Demostraciones
 La tabla de verdad

Presentacion

La tabla de las proposiciones simples o complejas las llamaremos

verdad
variables proposicionales
Equivalencia
Lógica Las denotaremos por p, q, r , t
Algebra de
proposiciones El valor lógico de p, denotado VL(p), es el valor V , F
Cuantificadores dependiendo en que p sea verdadera o falsa.
Demostraciones
La tabla de la negación de p, denotada ¬p es

p ¬p
V F
F V
 La tabla de verdad

Presentacion

La tabla de
verdad La tabla de verdad de la disjunción de p y q, denotada p ∨ q
Equivalencia
Lógica
p q p∨q
Algebra de
proposiciones V V V
Cuantificadores V F V
Demostraciones F V V
F F F

Es decir, la disjunción de p y q es falsa solo cuando ambas son

falsas, de resto es verdadera.
 La tabla de verdad

Presentacion

La tabla de
verdad La table de verdad de la conjunción de p y q, denotada p ∧ q es
Equivalencia
Lógica
p q p∧q
Algebra de
proposiciones V V V
Cuantificadores V F F
Demostraciones F V F
F F F

Es decir, la conjunción de p y q es verdadera solo cuando

ambas son verdaderas, de resto es falsa.
 La tabla de verdad

Presentacion
Denominaremos disjunción exclusiva de p y q, denotada p∨q a
la proposición o p o q y cuyo valor lógico está dado por la
La tabla de siguiente tabla de verdad.
verdad

Equivalencia
Lógica
p q p∨q
Algebra de v v f
proposiciones
v f v
Cuantificadores
f v v
Demostraciones
f f f

Ejemplo
Sean p : 2 + 3 > 4, q : (−2)2 = 6.
Escriba la expresión p∨q y su valor lógico.
Solución:
p∨q : o 2 + 3 > 4 o (−2)2 = 6 y VL(p∨q)=V
 La tabla de verdad

Presentacion

La tabla de
verdad

Equivalencia
Lógica

Algebra de p q p ∨ q p ∧ q ¬(p ∧ q) (p ∨ q) ∧ ¬(p ∧ q)

proposiciones
V V
Cuantificadores

Demostraciones
 La tabla de verdad

Presentacion

La tabla de
verdad

Equivalencia
Lógica

Algebra de p q p ∨ q p ∧ q ¬(p ∧ q) (p ∨ q) ∧ ¬(p ∧ q)

proposiciones
V V V V F F
Cuantificadores
V F
Demostraciones
 La tabla de verdad

Presentacion

La tabla de
verdad

Equivalencia
Lógica

Algebra de p q p ∨ q p ∧ q ¬(p ∧ q) (p ∨ q) ∧ ¬(p ∧ q)

proposiciones
V V V V F F
Cuantificadores
V F V F V V
Demostraciones
F V V F V V
F F F F V F
 Observación

Presentacion

En las expresiones que incluyen algunos de los operadores

La tabla de
verdad
¬.∨, ∧, en ausencia de paréntesis, primero se evalúa ¬, después
Equivalencia
∧ y luego ∨. Esta convención se conoce como
Lógica precedencia del operador .
Algebra de
proposiciones
Ejemplo
Cuantificadores

Demostraciones Supongamos que VL(p) = F , VL(q) = V y VL(r ) = F . Hallar

VL(¬p ∨ q ∧ r )

Solución:
 Observación

Presentacion

En las expresiones que incluyen algunos de los operadores

La tabla de
verdad
¬.∨, ∧, en ausencia de paréntesis, primero se evalúa ¬, después
Equivalencia
∧ y luego ∨. Esta convención se conoce como
Lógica precedencia del operador .
Algebra de
proposiciones
Ejemplo
Cuantificadores

Demostraciones Supongamos que VL(p) = F , VL(q) = V y VL(r ) = F . Hallar

VL(¬p ∨ q ∧ r )

Solución:
por la precedencia del operador tenemos que
¬p ∨ q ∧ r significa ((¬p) ∨ (q ∧ r )) VL(¬p) = V y
VL(q ∧ r ) = F , por lo que VL(¬p ∨ q ∧ r ) = V .
 Condicional

Presentacion

Definición.
La tabla de
verdad Denominaremos condicional de p y q, denotada p → q a la
Equivalencia proposición si p entonces q y cuyo valor lógico está dado por la
Lógica
siguiente tabla de verdad.
Algebra de
proposiciones

Cuantificadores p q p→q
Demostraciones V V V
V F F
F V V
F F V
p es la hipótesis(antecedente) y q es la conclusión
(consecuente).
Presentacion

Ejemplo
La tabla de
verdad todo número real mayor que 3 es mayor que 1.
Equivalencia
Lógica
Para todo número real x, si x > 3 entonces x > 1.
Algebra de
proposiciones Hagamos p : x > 3 y q : x > 1, esta proposición es verdadera
Cuantificadores sin importar el valor de x, la proposición p → q es verdadera.
Demostraciones Por ejemplo si x = 4, entonces p y q son verdaderas.
si x = 2, entonces p es falsa y q es verdadera.
si x = 1, entonces p y q son falsas. En cualquiera de los 3
casos p → q es verdadera.
Observemos que si existiese un ńumero real x tal que p es
verdadera y q falsa entonces tendriamos que x > 3 y x ≤ 1, y
ası́ x < x lo cual es contradictorio.
Presentacion

En las expresiones que incluyen a los operadores lógicos ∨, ∧, ¬

o →, el condicional se evalúa al final.
La tabla de
verdad
Ejemplo
Equivalencia
Lógica
p ∨ ¬q → r se interpreta como (p ∨ (¬q)) → r
Algebra de
proposiciones

Cuantificadores Ejemplo
Demostraciones
Supongamos que VL(p) = VL(r ) = V y VL(q) = F .
Encuentre el valor lógico de p ∧ q → r , p ∨ ¬q → r y
p → (q → r )

Solución: VL(p ∧ q)=F, ası́, VL( p ∧ q → r )=V

como VL(r)=V entonces VL( p ∨ ¬q → r )=V y también
VL(q → r )=V, ası́ VL(p → (q → r ))=V.
Presentacion

La tabla de Otras formas equivalentes de expresar el condicional si p

verdad
entonces q son:
Equivalencia
Lógica q si p
Algebra de
proposiciones p solo si q
Cuantificadores p implica q
Demostraciones
q es necesario para p
p es suficiente para q
una condición necesaria para p es q
una condición suficiente para q es p
Presentacion
Ejemplo
Escriba en la forma si p entonces q las siguientes proposiciones:
La tabla de
verdad

Equivalencia
Lógica

Algebra de
proposiciones

Cuantificadores

Demostraciones
Presentacion
Ejemplo
Escriba en la forma si p entonces q las siguientes proposiciones:
La tabla de
verdad

Equivalencia
1 El programa es legible solo si está bien estructurado.
Lógica

Algebra de
proposiciones

Cuantificadores

Demostraciones
Presentacion
Ejemplo
Escriba en la forma si p entonces q las siguientes proposiciones:
La tabla de
verdad

Equivalencia
1 El programa es legible solo si está bien estructurado.
Lógica 2 5 < 2 implica que 32 = 9
Algebra de
proposiciones

Cuantificadores

Demostraciones
Presentacion
Ejemplo
Escriba en la forma si p entonces q las siguientes proposiciones:
La tabla de
verdad

Equivalencia
1 El programa es legible solo si está bien estructurado.
Lógica 2 5 < 2 implica que 32 = 9
Algebra de
proposiciones 3 Una condición necesaria para que Fernando compre una
Cuantificadores computadora es que obtenga 2000$.
Demostraciones
Presentacion
Ejemplo
Escriba en la forma si p entonces q las siguientes proposiciones:
La tabla de
verdad

Equivalencia
1 El programa es legible solo si está bien estructurado.
Lógica 2 5 < 2 implica que 32 = 9
Algebra de
proposiciones 3 Una condición necesaria para que Fernando compre una
Cuantificadores computadora es que obtenga 2000$.
Demostraciones 4 Una condición suficiente para que Marı́a visite francia es ir
a la torre Eiffel.
Solución:
1 Si el programa es legible entonces está bien estructurado.
2 si 5 < 2 entonces 32 = 9
3 Si Fernando compró una computadora entonces obtuvo
2000$.
4 Si Marı́a fué a la torre Eiffel entonces visitó Francia.
Presentacion

La tabla de
verdad

Equivalencia
Lógica

Algebra de
Una proposición condicional que es verdadera porque el
proposiciones antecedente es falso se dice que es verdadera por omisión(o
Cuantificadores superficialmente verdadera). El recı́proco de la proposición
Demostraciones
p → q es la proposición q → p.
Presentacion
Definición.
Sean p y q proposiciones. Llamaremos bicondicional de p y q,
La tabla de
verdad denotado p ↔ q, a la proposición p si y solo si q y cuyo valor
Equivalencia lógico está dado por la siguiente tabla de verdad.
Lógica

Algebra de
proposiciones
p q p↔q
Cuantificadores

Demostraciones
V V V
V F F
F V F
F F V
Esto es, el bicondicional es verdadero cuando p y q tienen los
mismos valores lógicos.
Una forma alternativa de expresar p ↔ q es: p es necesario y
suficiente para q.
 Equivalencia Lógica

Presentacion

Definición.
La tabla de
verdad
Sean P y Q dos proposiciones obtenidas a partir de las
Equivalencia
proposiciones p1 , ..., pn usando conectivos lógicos. Diremos que
Lógica
P y Q son lógicamente equivalentes, denotado P ≡ Q,o
Algebra de
proposiciones P ⇔ Q si P y Q tienen los mismos valores lógicos para todos
Cuantificadores los posibles valores lógicos de p1 , ..., pn .
Demostraciones Dicho de otra forma, si P ↔ Q siempre es verdadero.
Una tautologı́a es una proposición que siempre es verdadera sin
importar el valor lógico de p1 , ..., pn .
Una contradicción es una proposición que siempre es falsa sin
importar el valor lógico de p1 , ..., pn .
Por lo que, P y Q son equivalentes cuando P ↔ Q es una
tautologı́a.
 Equivalencia Lógica

Presentacion
Ejemplo
Verifique que ¬(p → q) ≡ p ∧ ¬q. Use esta equivalencia, para
La tabla de
verdad escribir la negación de: Si está lloviendo, entonces hay nubes en
Equivalencia el cielo en sı́mbolos y palabras.
Lógica

Algebra de Solución:
proposiciones

Cuantificadores
p q ¬q p → q ¬(p → q) p ∧ ¬q
Demostraciones
V V F V F F
V F V F V V
F V F V F F
F F V V F F
Ası́, ¬(p → q) ≡ p ∧ ¬q.
Por otro lado, hagamos p :está lloviendo y q :hay nubes en el
cielo. Por lo anterior, ¬(p → q) ≡ p ∧ ¬q : está lloviendi y no
hay nubes.
Presentacion

La tabla de
verdad

Equivalencia
Lógica Ejemplo
Algebra de
proposiciones Verifique que:
Cuantificadores
1 p ↔ q ≡ (p → q) ∧ (q → p) (ley del bicondicional)
Demostraciones
2 p → q ≡ ¬q → ¬p (ley del contrarrecı́proco)
 Algebra de proposiciones

Presentacion

Teorema.
La tabla de
verdad
Sean p, q, r proposiciones V una tautologı́a y F una
Equivalencia contradicción.
Lógica
Entonces se cumplen las siguientes equivalencias:
Algebra de
proposiciones
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r ), (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r )
Cuantificadores
(asociatividad)
Demostraciones
p ∨ q ⇔ q ∨ p, p ∧ q ⇔ q ∧ p (conmutatividad)
p ∧ (q ∨ r ) ⇔ (p ∧ q) ∨ (p ∧ r ),p ∨ (q ∧ r ) ⇔ (p ∨ q) ∧ (p ∨ r ),
(distributividad)
p ∨ F ⇔ p, p ∧ V ⇔ p (identidad)
p ∨ ¬p ⇔ V , p ∧ ¬p ⇔ F (complemento)
Presentacion

La tabla de Teorema.
verdad

Equivalencia
Lógica
p ∨ p ⇔ p, p ∧ p ⇔ p (idempotencia)
Algebra de p ∨ V ⇔ V , p ∧ F ⇔ F (acotación)
proposiciones

Cuantificadores p ∨ (p ∧ q) ⇔ p, p ∧ (p ∨ q) ⇔ p (absorción)
Demostraciones ¬(¬p) ⇔ p(involución)
¬F ⇔ V , ¬V ⇔ F
¬(p ∨ q) ⇔ (¬p ∧ ¬q), ¬(p ∧ q) ⇔ (¬p ∨ ¬q) (leyes de
De Morgan )
Presentacion

Ejemplo
La tabla de
verdad Verificar las leyes de De Morgan para la lógica.
Equivalencia ¬(p ∨ q) ≡ ¬p ∧ ¬q y ¬(p ∧ q) ≡ ¬p ∨ ¬q.
Lógica

Algebra de
proposiciones
Solución:
Cuantificadores
Hagamos P = ¬(p ∧ q), Q = ¬p ∨ ¬q entonces
Demostraciones
p q ¬p ¬q p ∧ q ¬(p ∧ q) ¬p ∨ ¬q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Ası́, P ≡ Q.
 Cuantificadores

Presentacion

Consideremos la afirmación p : n es un entero impar.

La tabla de
verdad p no es una proposición, ya que es verdadera o falsa
Equivalencia dependiendo del valor de n. por ejemplo, si n = 9 p es
Lógica
verdadera y si n = 6 p es falsa.
Algebra de
proposiciones Para incluir este tipo de afirmaciones necesitamos la siguiente
Cuantificadores definición.
Demostraciones
Definición.
Sea P(x) una oración que incluye a la variable x y sea D un
conjunto. Diremos que P es una función proposicional, si para
cada x ∈ D, P(x) es una proposición. En este caso, D es el
dominio de discurso de P.
Presentacion
Ejemplo
Sea P(n) : n es un entero impar y sea D el conjunto de enteros
La tabla de
verdad positivos. Entonces P es una función proposicional con dominio
Equivalencia de discurso D, ya que para cada n ∈ D, P(n) es una
Lógica

Algebra de
proposición.
proposiciones P(9) : 9 es un entero impar (verdadera) y P(6) : 6 es un entero
Cuantificadores impar(falsa).
Demostraciones

Ejemplo
Las siguientes afirmaciones son funciones proposicionales.
1 n2 + 2n es un entero impar.(D=conjunto de enteros
positivos)
2 x 2 − x − 6 = 0. (D=conjunto de números reales)
Presentacion

Casi todas las afirmaciones en matemáticas y ciencias de la

La tabla de
verdad
computación usan términos como ”para todo, para alguno,
Equivalencia existe un”.
Lógica
Por ejemplo en matemática tenemos la afirmación
Algebra de
proposiciones Para todo triangulo T ,la suma de los angulos de T es igual a
Cuantificadores 180◦ . En ciencias de la computación, tenemos
Demostraciones para algún programa R la salida de R es R mismo.
Definición.
Sea P una función proposicional con dominio de discurso D.
Diremos que la afirmación Para toda x, P(x)
es una afirmación cuantificada universalmente.
Presentacion

La tabla de
verdad
El simbolo ∀ significa para todo, para cualquier, para cada.
Equivalencia
Lógica

Algebra de
proposiciones

Cuantificadores

Demostraciones
Presentacion

La tabla de
verdad
El simbolo ∀ significa para todo, para cualquier, para cada.
Equivalencia Para todo x en el Universo D, P(x) es cierto, se escribe
Lógica
∀x ∈ D : P(x)
Algebra de
proposiciones

Cuantificadores

Demostraciones
Presentacion

La tabla de
verdad
El simbolo ∀ significa para todo, para cualquier, para cada.
Equivalencia Para todo x en el Universo D, P(x) es cierto, se escribe
Lógica
∀x ∈ D : P(x)
Algebra de
proposiciones
El simbolo ∀ se llama cuantificador universal
Cuantificadores

Demostraciones
Presentacion

La tabla de
verdad
El simbolo ∀ significa para todo, para cualquier, para cada.
Equivalencia Para todo x en el Universo D, P(x) es cierto, se escribe
Lógica
∀x ∈ D : P(x)
Algebra de
proposiciones
El simbolo ∀ se llama cuantificador universal
Cuantificadores
La afirmación ∀xP(x) es verdadera, si P(x) es verdadera,
Demostraciones
para toda x ∈ D y es falsa si P(x) es falsa para al menos
un x ∈ D.
Presentacion

La tabla de
verdad
El simbolo ∀ significa para todo, para cualquier, para cada.
Equivalencia Para todo x en el Universo D, P(x) es cierto, se escribe
Lógica
∀x ∈ D : P(x)
Algebra de
proposiciones
El simbolo ∀ se llama cuantificador universal
Cuantificadores
La afirmación ∀xP(x) es verdadera, si P(x) es verdadera,
Demostraciones
para toda x ∈ D y es falsa si P(x) es falsa para al menos
un x ∈ D.
Un valor x que hace a P(x) falsa se llama un
contraejemplo de la afirmación ∀x, P(x).
Presentacion
Ejemplo

La tabla de 1 La proposicion ∀x, x 2 ≥ 0 es verdadera, ya que para cada

verdad

Equivalencia
x ∈ R es cierto que x 2 > 0 o x 2 = 0.
Lógica
2 La proposicion ∀x, x 2 − 1 > 0 es falsa, basta tomar x = 0
Algebra de
proposiciones para que 02 − 1 > 0 sea falsa.
Cuantificadores 0 es un contraejemplo de la afirmación,∀x, x 2 − 1 > 0 .
Demostraciones Aunque para algunos x ∈ R, x 2 − 1 > 0 es verdadera, el
contraejemplo hace que ∀x, x 2 − 1 > 0 sea falsa.

Ejemplo
Verifique que la afirmación cuantificada universalmente
para todo número real x, si x > 1 entonces x + 1 > 1
es verdadera.
Presentacion

La tabla de simbólicamente tenemos ∀x ∈ R, x > 1 → x + 1 > 1 queremos

verdad
probar que x > 1 → x + 1 > 1 es verdadera, para todo número
Equivalencia
Lógica real x
Algebra de fijemos un número real x arbitrario entonces se cumple que o
proposiciones
x ≤ 1 o x > 1 si x ≤ 1 entonces x > 1 → x + 1 > 1 es
Cuantificadores
verdadera (por omisión)
Demostraciones
ahora, si x > 1 sabemos que x + 1 > x y x > 1 ası́ x + 1 > 1 y
nuevamente x > 1 → x + 1 > 1 es verdadera.
Concluı́mos que, para todo número real x, si x > 1 entonces
x +1>1
es verdadera.
Presentacion

La tabla de Definición.
verdad

Equivalencia
Sea P una función proposicional con dominio de discurso D.
Lógica
Diremos que la afirmación existe x, P(x)
Algebra de
proposiciones es una afirmación cuantificada existencialmente.
Cuantificadores
El simbolo ∃ significa existe, existe un, existe algún. Ası́, la
Demostraciones
afirmación
existe x, P(x) se escribe ∃x, P(x).
El simbolo ∃ se llama cuantificador existencial.
La afirmación ∃xP(x) es verdadera, si P(x) es verdadera, para
al menos un x ∈ D y es falsa si P(x) es falsa para todo x ∈ D.
Presentacion

Ejemplo
x 2
La tabla de Existe un número real x, que satisface =
verdad x2 + 1 5
Equivalencia
Lógica

Algebra de
proposiciones

Cuantificadores

Demostraciones
Presentacion

Ejemplo
x 2
La tabla de Existe un número real x, que satisface =
verdad x2 + 1 5
Equivalencia
Lógica x 2
Simbólicamente, tenemos ∃x ∈ R, 2 = esta afirmación
Algebra de x +1 5
proposiciones x 2
Cuantificadores es verdadera ya que al menos un x ∈ R, hace que 2 =
x +1 5
Demostraciones sea verdadera.
2 2
Por ejemplo, tomando x = 2, 2 = es verdadera.
2 +1 5
x 2
En este caso, existe un nḿero real x, que satisface 2 =
x +1 5
es verdadera aunque
x 2
2
= sea falsa para algunos x, por ejemplo, para x = 0
x +1 5
o x = −1
Presentacion

La tabla de Ejemplo
verdad

Equivalencia verifiquemos que la proposición

Lógica 1
∃x ∈ R, 2 > 1 es falsa
Algebra de
proposiciones
x +1
Cuantificadores

Demostraciones
Presentacion

La tabla de Ejemplo
verdad

Equivalencia verifiquemos que la proposición

Lógica 1
∃x ∈ R, 2 > 1 es falsa
Algebra de
proposiciones
x +1
Cuantificadores
en efecto, dado cualquier x ∈ R tenemos que x 2 ≥ 0 es
Demostraciones 1
verdadera, ası́, x 2 + 1 ≥ 1 y dividiendo 2 ≤ 1 es
x +1
1
verdadera por lo que 2 > 1 es falsa, para todo x ∈ R.
x +1
1
Esto es, ∃x ∈ R, 2 > 1 es falsa.
x +1
Presentacion

Teorema.
La tabla de
verdad Sea P una función proposicional. Entonces
Equivalencia
Lógica 1 ¬(∀x, P(x)) ≡ ∃x, ¬P(x)
Algebra de 2 ¬(∃x, P(x)) ≡ ∀x, ¬P(x)
proposiciones

Cuantificadores

Demostraciones Demostración:
probemos 1) ,
Presentacion

Teorema.
La tabla de
verdad Sea P una función proposicional. Entonces
Equivalencia
Lógica 1 ¬(∀x, P(x)) ≡ ∃x, ¬P(x)
Algebra de 2 ¬(∃x, P(x)) ≡ ∀x, ¬P(x)
proposiciones

Cuantificadores

Demostraciones Demostración:
probemos 1) , si ¬(∀x, P(x)) es verdadera , ∀x, P(x) es falsa,
esto es, existe un x para el cual P(x) es falsa y entonces para
ese x, ¬P(x) es verdadera. Es decir, ∃x, ¬P(x) es verdadera.
si ¬(∀x, P(x)) es falsa , ∀x, P(x) es verdadera, esto es, P(x) es
verdadera, para todo x y ¬P(x) es falsa, para todo x. Es decir,
∃x, ¬P(x) es falsa.
 Demostraciones

Presentacion

La tabla de Definición.
verdad

Equivalencia Un axioma es un resultado que suponemos verdadero (sin

Lógica
demostrarlo).
Algebra de
proposiciones Un teorema es una proposición la cual se ha probado que es
Cuantificadores verdadera.
Demostraciones Un lema es un teorema que no suele ser interesante por sı́
mismo, pero resulta útil para probar otro teorema. Un corolario
es un teorema que se obtiene fácilmente de otro teorema.
Un argumento que establece la veracidad de un teorema es una
demostración o prueba.
Presentacion

Con frecuencia los teoremas son de la forma

para todo x1 , x2 , ..., xn , si p(x1 , x2 , ..., xn ) entonces
La tabla de
verdad q(x1 , x2 , ..., xn )
Equivalencia
Lógica
Esta proposición cuantificada universalmente, es verdadera si
Algebra de
p(x1 , x2 , ..., xn ) → q(x1 , x2 , ..., xn ) es verdadero para todo
proposiciones x1 , x2 , ..., xn en el dominio de discurso.
Cuantificadores
Para probar que p(x1 , x2 , ..., xn ) → q(x1 , x2 , ..., xn ) es verdadera
Demostraciones
sólo consideramos el caso p(x1 , x2 , ..., xn ) verdadera ya que
cuando p(x1 , x2 , ..., xn ) es falsa
p(x1 , x2 , ..., xn ) → q(x1 , x2 , ..., xn ) es verdadera por omisión.
Una prueba directa supone que p(x1 , x2 , ..., xn ) es verdadera y
usando p(x1 , x2 , ..., xn ), junto con otros axiomas, definiciones y
teoremas derivados antes, demuestra que q(x1 , x2 , ..., xn ) es
verdadera.
Presentacion

La tabla de
verdad

Equivalencia
Lógica
Definición.
Algebra de
proposiciones
Sea n un número entero. Diremos que n es par, si existe un
Cuantificadores
entero k tal que n = 2k. n es impar si existe un entero k tal
Demostraciones
que n = 2k + 1.
Presentacion

Ejemplo
La tabla de
verdad Pruebe de manera directa la afirmación. Para cualesquiera
Equivalencia
Lógica
enteros m y n, si m es impar y n es par entonces m + n es
Algebra de
impar.
proposiciones
Demostración:
Cuantificadores
Suponemos que m y n son enteros arbitrarios y que m es impar
Demostraciones
y n es par es verdadera. entonces como m es impar existe un
entero k1 tal que m = 2k1 + 1 y existe un entero k2 tal que
n = 2k2 .
Ası́, m + n = 2k1 + 1 + 2k2 = 2(k1 + k2 ) + 1. Si k = k1 + k2
entonces k es entero y m + n = 2k + 1, esto es m + n es impar
es verdadera.
Presentacion

Ejemplo
La tabla de
verdad
Sean a, b números reales. Escribiremos mı́n{a, b} para
Equivalencia
representar al valor mı́nimo entre a y b. Por lo que si a ≤ b,
Lógica mı́n{a, b} = a y si a > b,mı́n{a, b} = b. Demuestre la siguiente
Algebra de
proposiciones
afirmación.
Cuantificadores Para cualesquiera números reales d, a, b, x, si d = mı́n{a, b} y
Demostraciones x ≤ d entonces x ≤ a y x ≤ b.
Demostración:
Suponemos que d, a, b, x son números reales arbitrarios y
d = mı́n{a, b} y x ≤ d es verdadera. Como d = mı́n{a, b}
entonces d ≤ a y d ≤ b, ahora x ≤ d y d ≤ a por lo que x ≤ a.
De igual forma, x ≤ d y d ≤ b, en consecuencia, x ≤ b.
Esto es, x ≤ a y x ≤ b es verdadera.
Presentacion

La tabla de
verdad

Equivalencia Una segunda técnica de demostración es la

Lógica
prueba por contradicción, donde para probar que p → q es
Algebra de
proposiciones verdadera, suponemos que es falsa, es decir p es verdadera y q
Cuantificadores es falsa, ası́ usando que p ∧ ¬q es verdadera junto con otros
Demostraciones axiomas, definiciones y teoremas derivados antes llegamos a
una contradicción. Una contradicción es una proposición de la
forma r ∧ ¬r ,
Presentacion

La tabla de
verdad

Equivalencia
Lógica
Ejemplo
Algebra de
proposiciones
Pruebe que la siguiente proposición es verdadera
Cuantificadores
Para todos los números reales x, y , si x + y ≥ 2 entonces x ≥ 1
Demostraciones
o y ≥ 1.
Presentacion

La tabla de
verdad
Demostración:
Equivalencia
Lógica Sean x, y números reales arbitrarios y supongamos x ≥ 1 o
Algebra de y ≥ 1 es falsa entonces por las leyes de De Morgan
proposiciones
¬(x ≥ 1 ∨ y ≥ 1) ≡ ¬(x ≥ 1) ∧ (y ≥ 1) ≡ x < 1 ∧ y < 1 Ası́,
Cuantificadores

Demostraciones
x < 1 y y < 1 son verdaderas lo que implica que x + y < 2 es
verdadera, es decir, x + y ≥ 2 es falsa, esto es,
x + y ≥ 2 ∧ ¬(x + y ≥ 2) es verdadera.
Por lo que, la proposición es verdadera.
Presentacion

Este caso particular de prueba por contradicción donde se

La tabla de
obtiene que ¬q → ¬p es verdadera, se llama
verdad
prueba por contrarrecı́proco.
Equivalencia
Lógica
Ejemplo
Algebra de
proposiciones
Pruebe por contrarrecı́poco la proposición
Cuantificadores
para todo entero m, si m2 es impar entonces m es impar.
Demostraciones
Demostración
supongamos que m es impar es falsa, entonces m es par es
verdadera, esto es, existe un entero k tal que m = 2k y ası́,
m2 = (2k)2 = 4k 2 = 2n, donde n = 2k 2 es un entero, es decir
m2 es par es verdadero, hemos probado que ¬q → ¬p es
verdadera.