ESCUELA SUPERIOR

POLITÉCNICA DEL LITORAL

Curso de Nivelación
CAPÍTULO 1: Lógica Matemática

Profesora: Matemáticas
- Ing. Adriana Román

1
CONTENIDO
• 1.1 Proposiciones
• 1.2 Operadores lógicos
• 1.3 Clases de proposiciones
• 1.4 Estructuras lógicas
• 1.5 Propiedades de los operadores lógicos
• 1.6 Razonamientos
• 1.7 Demostraciones
 OPERADORES LÓGICOS
EJEMPLOS
NEGACIÓN Se tiene la variable proposicional:
Cambia el valor p p: Compré un boleto de lotería
de verdad de 0 1
una variable La negación sería:
1 0
proposicional p: no es cierto que compré un
boleto de lotería
Se simboliza con • No
• Ni Se tiene la siguiente variable
• No es verdad que proposicional:
Se presenta • No es cierto que q: No tengo internet
con los • Es falso que
términos • No ocurre que La negación sería:
gramaticales: • No es el caso que q: Tengo internet
• No se da que
OPERADORES LÓGICOS
EJEMPLO:
CONJUNCIÓN p q p q
Se tienen las variables
0 0 0
Significa que ambas proposicionales:
variables 0 1 0 p: Tengo un marcador negro
proposicionales 1 0 0 q: Llegué temprano
suceden de forma 1 1 1
conjunta La conjunción sería:
El valor de verdad de la
pq: Tengo un marcador negro y
Se simboliza con conjunción es verdadero solo
cuando todas las proposiciones llegué temprano .
son verdaderas
• Y • No obstante
Se presenta • • Tal como
• Pero Aunque
con los • • A pesar que
• Mas A la vez
términos •
• Sin embargo También
gramaticales: •
• Además Signos de puntuación como: , . ;
OPERADORES LÓGICOS
El valor de verdad de la disyunción
es falso solo cuando todas las
DISYUNCIÓN p q pq proposiciones son falsas
Significa que sucede 0 0 0 EJEMPLO:
una proposición, 0 1 1
sucede la otra; o Se tienen las variables
1 0 1
suceden ambas. proposicionales:
También se la conoce 1 1 1
p: Tengo un marcador
como disyunción q: Traje el libro de Matemáticas
inclusiva
Se simboliza con La disyunción sería:
pq: Tengo un marcador o traje el
• O libro de Matemáticas
Se presenta
• O también
con el término
• O incluso
gramatical:
• O en todo caso
OPERADORES LÓGICOS
DISYUNCIÓN p q pq También se representa como:
EXCLUSIVA 0 0 0
Relaciona dos 0 1 1
proposiciones que EJEMPLOS:
1 0 1
son mutuamente • Juan es soltero o es casado
1 1 0
excluyentes entre sí
• Ecuador está en América o en Europa
El valor de verdad de la
Se simboliza con disyunción exclusiva es
verdadero solo cuando la una • Tengo 20 años o 22 años
es falsa y la otra es verdadera

• O • La independencia del Ecuador fue el

Se presenta con • O solo 24 de mayo de 1822 o fue el 10 de
el término • O solamente agosto de 1809
gramatical: • O…, O…
OPERADORES LÓGICOS
Antecedente Consecuente
Hipótesis Conclusión
CONDICIONAL Premisa Tesis
EJEMPLO:
p q pq
Es una relación
causa – efecto 0 0 1 Se tienen las variables
entre dos 0 1 1 proposicionales:
proposiciones p: El candidato gana las
1 0 0
elecciones
1 1 1 q: El candidato realiza obras
Se simboliza con
El valor de verdad de la La condicional sería:
condicional solo es falso cuando
el antecedente es verdadero y el
pq: Si el candidato gana las
consecuente es falso elecciones entonces realiza obras
OPERADORES LÓGICOS
• Si p, entonces q
Se presenta • p solo si q
si≡así
con los • p solamente si q
CONDICIONAL términos • q si p
gramaticales: • Si p, q
Es una relación • q con la condición
causa – efecto de que p
entre dos • q cuando p
• Se tiene q si se  q a menos que p
proposiciones • q siempre que p
tiene p
• q cada vez que p
• Solo si q, p
• q ya que p
Se simboliza con • q, pues p  q a no ser que p
• q debido a que p
• Cuando p, q
• q puesto que p
• Los p son q
𝒑 →𝒒 • q porque p
• p implica q  q salvo que p
OPERADORES LÓGICOS
VARIACIONES DE LA CONDICIONES SUFICIENTES
CONDICIONAL Y NECESARIAS

Recíproca 𝑞→𝑝  p es condición

suficiente para q
Inversa ¬𝑝 →¬𝑞 𝑝→𝑞
¬𝑞→ ¬𝑝  q es condición
Contrarrecíproca
necesaria para p

• Basta p para que q

¿Por qué? La condicional puede • Se necesita q para p
ser reemplazada por su • Para que suceda p es necesario que
Tablas de contrarrecíproca sin suceda q
verdad afectar su valor de • q con la condición de que p
verdad
OPERADORES LÓGICOS
CONDICIONES SUFICIENTES
Y NECESARIAS
 p es condición
suficiente para q Si apruebas el curso de nivelación,
entonces ingresas a primer semestre
𝑝→𝑞
 q es condición
necesaria para p

• Basta p para que q

• Se necesita q para p Si 16 es divisible para 4, entonces 16
• Para que suceda p es necesario que es divisible para 2
suceda q
• q con la condición de que p
Si soy guayaquileño, entonces pertenezco al Guayas
RECÍPROCA:
INVERSA:
CONTRARRECÍPROCA:

CONDICIÓN SUFICIENTE
CONDICIÓN NECESARIA

CONDICIÓN SUFICIENTE PERO NO NECESARIA

Es suficiente ser guayaquileño para pertenecer al Guayas pero no necesariamente solo
los guayaquileños pertenecen al Guayas.

CONDICIÓN NECESARIA PERO NO SUFICIENTE

Si obtengo 7 en el curso de matemáticas, entonces ingreso a Espol.

CONDICIÓN SUFICIENTE Y NECESARIA

Si apruebo las 4 materias del curso de nivelación, entonces ingreso a Espol.
OPERADORES LÓGICOS
EJEMPLO:
p q pq Se tienen las variables
BICONDICIONAL
proposicionales:
0 0 1
También se la p: Un pentágono regular tiene 5
0 1 0 lados iguales
conoce como doble
implicación 1 0 0 q: Un pentágono regular tiene sus
1 1 1 ángulos interiores iguales
Se simboliza con
El valor de verdad de la La bicondicional sería:
bicondicional es verdadero solo pq: un pentágono regular tiene 5
cuando el valor de verdad de todas lados iguales si y solo si tiene sus
Se presenta las proposiciones sean iguales
ángulos interiores iguales
con los • p si y solo si q
términos • p si y solamente si q
gramaticales: • p implica a q y q implica p
• p cuando y solo cuando q