MATEMÁTICAS

UNIDAD 1 Lógica Matemática

Tema 2 Operadores Lógicos

Ing. Ángel García Gutiérrez

OBJETIVO

Comprender los conceptos fundamentales de proposiciones, el lenguaje formal, la

lógica simbólica y tablas de verdad, mediante el aprendizaje significativo para el
modelado de esquemas matemáticos-lógicos, desarrollar capacidades de
razonamiento, evaluar argumentos lógicos, inferir conclusiones válidas.
 Sumario

1.2 Operadores Lógicos: Negación, Conjunción, Disyunción, Disyunción

Exclusiva, Implicación y Doble Implicación.
 Operadores lógicos

En lenguaje común usamos frecuentemente proposiciones compuestas,

no tan simples o elementales, como por ejemplo.

• No hice el deber de matemáticas.

• Fui al banco y estaba cerrado.
• Tengo una moneda de 5 centavos o una de diez centavos.
• El auto de Juan o es azul o es negro.
• Si me gano la lotería, entonces me compro una casa.
• Estudio en la ESPOL si y solo si me esfuerzo.

A estas palabras que conectan las proposiciones las denominamos operadores

lógicos
 Negación
• No
Se presenta con los términos • No es vedad que
• No es cierto que

El símbolo que se utiliza es

Al ubicar estas posibilidades en una tabla de verdad quedaría

El operador negación cambia el valor de verdad de una proposición
 Conjunción

• Este operador lo usamos para unir proposiciones con la y

• Se traduce con el símbolo en el lenguaje formal

Ejemplo
 Conjunción

Por lo tanto, la tabla de verdad para la conjunción sería:

 Disyunción inclusiva
La disyunción inclusiva aparece cuando el conector o une dos proposiciones. Se traduce formalmente
con el símbolo . Consideremos las proposiciones anteriores, para el siguiente ejemplo:

La tabla de verdad
para este conector
sería:
ACTIVIDAD EN CLASE
• ELABORA 4 PROPOSIONES Y NEGARLAS
• ELABORAR 2 PROPOSICIONES COMPUESTAS CON LA COJUNCION
• ELABORAR 2 PROPOSICIONES COMPUESTAS CON LA DISYUNCION
INCLUSIVA
• HACER LAS TABLAS DE VERDAD DE LOS OPERADORES ESTUDIADOS
(¬,^,v )
 Disyunción exclusiva

El término para la disyunción exclusiva en lenguaje común sería o….o. Así también como el
término o bien …o bien. El símbolo que se usa para identificarla en lenguaje formal es o

Él está o bien en Quito o bien en Guayaquil

 Condicional
Es el conector lógico más importante. Llamado también implicación. Se representa
cuando enlazamos dos proposiciones a y b de la siguiente forma: ´´Si a entonces b´´
Simbólicamente se traduce como . En este caso a la proposición a se le llama
antecedente mientras que a b se le llama consecuente.
Otros términos gramaticales con los que podemos
relacionar la condicional son:

La condicional es falsa sólo cuando el antecedente es

verdadero y el consecuente falso
 Condicional

Relacionadas a la
condicional, surgen las
nociones de condición
necesaria y condición
suficiente.

Un paralelogramo con un
ángulo recto es una condición
necesaria y suficiente para que
sea un rectángulo.

En base a este ejemplo, nos podemos preguntar: ¿cuándo se

quebrantará la promesa de Juan? Esto será únicamente cuando Juan
gane el concurso y no done el dinero.
 Bicondicional
El símbolo empleado es . Que al enlazar dos proposiciones sería leyéndose
´´a si y solo si b´´ significa

p: Un triángulo es equilátero
q: Un triángulo es equiángulo

Su tabla de verdad sería

Un triángulo es equilátero si y solo si es equiángulo.
Un triángulo es equilátero si y solo si no es equiángulo.
Un triángulo no es equilátero si y solo si es equiángulo.
Un triángulo no es equilátero si y solo no es equiángulo.
 BIBLIOGRAFÍA
• Fundamentos de Matemáticas para
Bachillerato, tercera edición.
• Libro Rojo de las Matemáticas. Ing.
Moisés Villena.
• Lógica de Smith, segunda edición.