Matemática I

Objetivo.

 Conocer las proposiciones, valores de

verdad, conectivos lógicos y su
aplicación.
Contenido Analítico

 Proposiciones.
 Valores de verdad.
 Conectivos Lógicos.
 Proposiciones Compuestas.
Introducción.
La lógica es la rama del conocimiento que
trata los métodos de razonamiento mediante
reglas y técnicas, con el fin de determinar si
un argumento es válido.
El tema que nos interesa es el de la lógica
usada en matemática. Aquí trabajamos con
elementos básicos llamados proposiciones.
Proposiciones Lógicas

Es un enunciado u oración declarativa de la

cual se puede afirmar que es falsa o
verdadera, pero no ambas cosas a la vez.

Se pueden clasificar en:

 Simples
 Compuestas
Proposiciones Simples
 Proposiciones Simples.
Son aquellas que no se pueden
descomponerse en otras.

Se pueden sustituir por símbolos que suelen

ser letras minúsculas por la p, q, r, s, …

Dichos símbolos reciben el nombre de variables

proposicionales.
Proposiciones Simples

Ejemplos:
 Un día soleado es agradable
 7*5=35
 Gabriel García Márquez escribió Cien
años de soledad
 1 es un número entero, pero 2 no lo es.
Proposiciones Lógicas

Las siguientes no son proposiciones

 X+Y=35
 ¿Te quedas?
 W=f*d
 Compra cinco azules y cuatro rojas.
Proposiciones Lógicas

 Valor de Verdad
Llamaremos valor verdadero o de verdad de
una proposición a su veracidad o falsedad. El
valor de verdad de una proposición verdadera
es verdad y el de una proposición falsa es
falso.
Proposiciones Lógicas

 Valor de Verdad

La expresión “la Tierra es redonda” es una

proposición. Puede notarse que su valor de
verdad es verdadero, ya que se conoce con
certeza que la Tierra es redonda.
Proposiciones Lógicas

 Valor de Verdad

La expresión “1 + 1 = 5”, que se lee “uno más

uno es igual a cinco”, es una proposición
con valor de verdad falso, ya que se conoce con
certeza que 1 + 1 ≠ 5 (≠ se lee “diferente
de”).
Ejercicio.

En los enunciados 1 a 10 indique en cada

caso si el enunciado es o no es una
proposición. Justifique su respuesta. En caso
de ser una proposición, establezca su valor de
verdad.
Ejercicio.
1. Julio César fue presidente de la República de
China.
2. 2+2=4
3. La Tierra es plana
4. ¿Estás en casa?
5. ¡Ayúdeme, por favor!
6. La matemática es importante.
7. Ve en su búsqueda.
8. x es mayor que y.
9. ¿Es un buen día?
Proposiciones Complejas.
Si las proposiciones simples p1, p2, . . . , pn se
combinan para formar la proposición P, diremos
que P es una proposición compuesta de p1,p2,...
,pn.

Las proposiciones complejas se representan por

letras mayúsculas P, Q, R, S…
Proposiciones Complejas.
Ejemplos:
 P: “La manzana es mi fruta favorita y John
Lenon fue un cantante famoso”
La proposición compleja P está compuesta por p:
“La manzana es mi fruta favorita” y q: “John Lenon
fue un cantante famoso”

 Q: “Ella es inteligente o estudia todos los días”

La proposición compleja Q está compuesta por:
r: “Ella es inteligente” y s: “ella estudia todos los
días”
Tablas de Verdad
La tabla de verdad de una proposición
compuesta P enumera todas las posibles
combinaciones de los valores de verdad para
las proposiciones p1, p2, . . . , pn.
Por ejemplo, si P es una proposición compuesta
por las proposiciones simples p1, p2 y p3,
entonces la tabla de verdad de P deberá
recoger los siguientes valores de verdad.
Tablas de Verdad
p1 p2 p3
V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F
Conexión entre Proposiciones
Existen distintas formas de conectar
proposiciones simples entre sí, para formar
proposiciones complejas, les llamaremos
conectores proposicionales.
Los más comunes son:
 Negación.
 Conjunción.
 Disyunción no exclusiva.
 Disyunción exclusiva.
 Condicional
 Bicondicional
Conectores Proposicionales.
Los conectores proposicionales también se
pueden sustituir por símbolos, que reciben el
nombre de signos conectivos o constantes
lógicas. Así:
Conector Proposicional Signo Conectivo
Negación ~
Conjunción ^
Disyunción v
Disyunción exclusiva v
Condicional →
Bicondicional ↔
Conectores Proposicionales

 Negación ~
Este conector cambia el valor de la verdad de la
proposición que conecta.

Dada una proposición cualquiera, p, llamaremos

“negación de p” a la proposición “no p”
Será verdadera cuando p sea falsa y falsa
cuando p sea verdadera.
 Tabla de verdad Negación

p ~p
V F
F V
Conectores Proposicionales.
 Conjunción ^
Dadas dos proposiciones cualesquiera p y q,
llamaremos conjunción de ambas a la proposici´on
compuesta “p y q”.

Representa la partícula lingüística y o cualquier otra

que indique la idea de unión, como también,
igualmente, pero.

Este conector da lugar a una proposición verdadera

únicamente en el caso de que ambas proposiciones
lo sean.
 Tabla de verdad Conjunción

p q p^q
V V V
V F F
F V F
F F F
Conectores Proposicionales.

 Disyunción Inclusiva v
Dadas dos proposiciones cualesquiera p y q,
llamaremos disyunción de ambas a la
proposición compuesta “p o q”.
Esta proposición será verdadera si al menos
una de las dos p o q lo es.
Tablas de Verdad
 Tabla de verdad Disyunción Inclusiva
p q pvq
V V V
V F V
F V V
F F F
Conectores Proposicionales.
 Disyunción exclusiva v
Dadas dos proposiciones cualesquiera p y q,
llamaremos disyunción exclusiva de ambas a la
proposición compuesta “p ´o q pero no ambos”.
Esta proposición será verdadera si una u otra,
pero no ambas son verdaderas.

Según esta definición una disyunción exclusiva de

dos proposiciones p y q será verdadera cuando
tengan distintos valores de verdad y falsa cuando
sus valores de verdad sean iguales.
Tablas de Verdad
 Tabla de verdad Disyunción Exclusiva
p q pvq
V V F
V F V
F V V
F F F
Conectores Proposicionales.
 Condicional →
Dadas dos proposiciones p y q, a la proposición
compuesta “si p, entonces q” se le llama “proposición
condicional”

 La proposición “p” se le llama hipótesis,

antecedente, premisa o condición suficiente.
 La proposición “q” se le llama tesis, consecuente,
conclusión o condición necesaria del condicional.

Una proposición condicional es falsa únicamente

cuando siendo verdad la hipótesis, la conclusión es
falsa (no se debe deducir una conclusión falsa de
una hipótesis verdadera).
 Tabla de verdad Condicional

p q p→q
V V V
V F F
F V V
F F V
Conectores Proposicionales.
 Bicondicional ↔
Dadas dos proposiciones p y q, a la
proposición compuesta “p si (y sólo si) q” se
le llama “proposición bicondicional”
La característica fundamental de la
bicondicional es que su valor de verdad es
verdadero sólo en los casos en que p y q
tengan valores de verdad iguales (ambos V o
ambos F)..
 Tabla de verdad Bicondicional

p q p↔q
V V V
V F F
F V F
F F V
Ejercicios.
 Interprete las siguientes preposiciones,
utilizando simbología.
Ejemplo:
“Si como mucho, entonces engordo”
p Si como mucho
q engordo
p→q
Ejercicios.

1. “Venderé el auto si el combustible está caro”

2. “Pablo es alto y le gusta el basquetbol”
3. “El Pentium no es un microprocesador”
4. “Si gano las elecciones bajaré los impuestos”
5. “Si ahorro me podré comprar una casa en
tres años".
Ejercicios.
Sean las proposiciones:
p : Obtengo baja calificación en el examen.
q : Estudié lo suficiente
r : No tengo errores en los cálculos finales.

Escribir, usando conectivos lógicos, una

proposición que simbolice la siguiente afirmación:

 Si obtengo una baja calificación en el examen,

será porque no estudié lo suficiente o porque
tenga errores en los cálculos finales.
Ejercicios.
Sean las proposiciones:
p : Está lloviendo.
q : Iré a la fiesta.
r : Tengo tiempo.

Escribir, usando conectivos lógicos, una proposición que

simbolice las siguientes afirmaciones:

a) Si no está lloviendo y tengo tiempo, entonces iré a la

fiesta.
b) Iré a la fiesta sólo si tengo tiempo.
c) No está lloviendo, entonces iré a la fiesta.
d) No tengo tiempo y está lloviendo, entonces no iré a
la fiesta.
Ejercicio.
Sean las proposiciones:
p : Estudio mucho.
q : me canso.
r : duermo la siesta.

Enunciar las afirmaciones que corresponden con cada

una de las proposiciones siguientes:
a) ~ q ↔ (r ^ ~p)
b) r ^ ~ q
c) (q → p) ^ (r→ q)
d) (~p ^ r) → ~ q
Ejercicio.
En los siguientes problemas, suponga que
p: 7< 9
q: El Sol es un astro frío y
r: La temperatura está por debajo de cero.
Escriba las proposiciones indicadas:
1. p ∨ q
2. ∼p → q
3. (r ∧ p) → q
4. (p ∧ q) ↔ r
5. (p ∧ q) ∧ (q ∧ r)
Ejercicios.
En los siguientes problemas, considere:

p: Panamá está en América Central.

q: Colombia está al sur de Venezuela.
r: Quito es la capital de Ecuador.

Observe que p y r son verdaderas, pero q es

falsa. Escriba las proposiciones dadas en
forma simbólica y determine en cada caso si la
proposición es verdadera o falsa.
Ejercicios.
“Colombia no está al sur de Venezuela.”
“Colombia está al sur de Venezuela y Quito es la
capital
de Ecuador, o Panamá no está en América
Central.”
“Quito no es la capital de Ecuador ni Panamá
está en
América Central.”
“Si Panamá está en América Central y Colombia
no está al sur de Venezuela, entonces ni
Panamá está en América Central”
Ejercicio.
 Complete la tabla de verdad para las siguientes
proposiciones.
p q r ~p ~q ~p v ~q (~p v ~q) ^r

F V V

V V F

F F V

V F F

 Solución:
Teniendo en cuenta las tablas de verdad para
cada uno de los conectivos lógicos, realizamos
columna por columna.
 Tabla de verdad Negación

p ~p
V F
F V

p ~p q ~q

F V

V V

F F

V F
 Tabla de verdad Disyunción Inclusiva
p q pvq
V V V
V F V
F V V
F F F

~p ~q ~p v ~q

V F

F F

V V

F V
 Tabla de verdad Conjunción

p q p^q
V V V
V F F
F V F
F F F

r ~p v ~q (~p v ~q) ^r

V V

F F

V V

F V
p q r ~p ~q ~p v ~q (~p v ~q) ^r
F V V V F V V
V V F F F F F
F F V V V V V
V F F F V V F
Ejercicio.
 Para el siguiente problema, indique si el
enunciado es Falso o Verdadero. Para ello
tenga en cuenta que:
p q r

V F V

(p v ~q)→{ [(p v q)→(p ^ ~q)]↔[~(p ^ q)] }

 Considere la siguiente proposición:

Elabore la Tabla de Verdad e indique cual es

el valor de verdad de tal proposición para cada
uno de los siguientes casos:
a) p es falso, q es falso, r es falso.
b) p es falso, q es falso, r es verdadero.
c) p es verdadero, q es falso, r es verdadero.
d) p es verdadero, q es verdadero, r es falso.
e) p es verdadero, q es verdadero, r es
verdadero.