María de Jesús Orozco Arellanes Álgebra superior

PRINCIPIANTES
PROPOSICIONES LÓGICAS
VALORES DE VERDAD

CONECTORES LÓGICOS
María de Jesús Orozco Arellanes Álgebra superior

INTRODUCCIÓN

LA LOGICA MATEMÁTICA ES UNA TEORÍA AXIOMÁTICA, LO CUAL SIGNIFICA QUE SE BASA EN

LOS AXIOMAS.
LOS AXIOMAS ESTABLECEN LAS REGLAS QUE DEBEN CUMPLIR LOS OB JETOS MATEMÁTICOS.
LOS AXIOMAS SE TOMAN COMO CIERTOS SIN NINGUNA DEMOSTRACIÓN.
LOS TRES ELEMENTOS PRINCIPALES DE LA LÓGICA SON:
• LAS PROPOSICIONES
• LOS VALORES DE VERDAD
• LOS CONECTORES LÓGICOS
María de Jesús Orozco Arellanes Álgebra superior

LAS PROPOSICIONES LÓGICAS

• LAS PROPOSICONES LÓGICAS SON FRASES QUE ACEPTAN EL CALIFICATIVO DE

FALSO O VERDADERO.
HOY HACE MUCHO FRÍO

FALSO VERDADERO

EL CALIFICATIVO INDICA QUE SE CUMPLE O QUE NO SE CUMPLE LO QUE DICE LA FRASE

María de Jesús Orozco Arellanes Álgebra superior

LAS PROPOSICIONES LÓGICAS

DE ACUERDO A LO ANTERIOR, HAY FRASES QUE NO PUEDEN CALIFICARSE COMO

FALSO O VERDADERO, POR LO QUE DEFINITIVAMENTE NO SON PROPOSICIONES
LÓGICAS. COMO POR EJEMPLO:
PREGUNTAS EXCLAMACIONES IMPERATIVOS RAREZAS

¿CUÁNTO CUESTA? ¡QUÉ BONITO! YA LEVANTATE EL PERRO BLANCO

¿QUÉ VES? ¡ESTOY FELIZ! NO COMAS ESO QUÍMICA ORGÁNICA E

INORGÁNICA
¿DÓNDE ESTÁ? ¡NO PUEDE SER! ENTRA A CLASE
HOY
¿ES LA CLASE DE ÁLGEBRA? ¡YA LLEGUÉ TARDE! NO LLEGUES TARDE
ESTA FRASE NO ES CIERTA
¿DÓNDE ESTOY? HAZ TU TRABAJO
María de Jesús Orozco Arellanes Álgebra superior

LAS PROPOSICIONES LÓGICAS

TODAS LAS EXPRESIONES MATEMÁTICAS SE CONSIDERAN PROPOSICIONES

LÓGICAS

3x + 2 = 4 EL IGUAL SE LEE “ES IGUAL A”

x2 − 4x + 7  1 SE LEE “ES MENOR QUE ”

4

 dx  10
2x
4 e SE LEE “NO ES IGUAL”
3
María de Jesús Orozco Arellanes Álgebra superior

LOS CONECTORES LÓGICOS

SON CUATRO, SIRVEN (COMO SU NOMBRE LO INDICA) PARA CONECTAR

ALGUNAS PROPOSICIONES LÓGICAS CON OTRAS Y LISTADOS EN CUANTO A
COMPLEJIDAD SON:
• NEGACION: NO
• CONJUNCION: Y
• DISYUNCIÓN: O
• IMPLICACIÓN O CONDICIONAL : SI…. ENTONCES….
María de Jesús Orozco Arellanes Álgebra superior

SIMBOLOGÍA

LAS PROPOSICIONES LÓGICAS SE SIMBOLIZAN CON LETRAS MAYÚSCULAS

CADA CONECTOR TIENE SU PROPIO SÍMBOLO.
AMBAS COSAS SON ÚTILES PARA ESCRIBIR DE MANERA COMPACTA
PROPOSICIONES MUY COMPLEJAS

A: LA CLASE DE ÁLGEBRA ES MUY NO 

INTERESANTE. Y 
B: HOY FINALIZA EL SEMESTRE O 
C: 5𝑥 5 − 3 𝑥 = 8 SI… ENTONCES…. 
María de Jesús Orozco Arellanes Álgebra superior

ALGO MÁS SOBRE LOS CONECTORES

• EL “CONECTOR” NEGACIÓN, A DIFERENCIA DE LOS OTROS, SOLAMENTE

ACTÚA SOBRE UNA SOLA PROPOSICIÓN.
• EL CONECTOR DISYUNCIÓN EN LA LOGICA FORMAL ES INCLUSIVO.
• EL CONECTOR IMPLICACIÓN O CONDICINAL, FRECUENTEMENTE EN EL
LENGUAJE COMÚN, NO SE INCLUYE EL SI…. DEL INICIO
• EL CONECTOR IMPLICACIÓN TIENE DOS PARTES: LA PRIMERA ES EL
ANTECEDENTE (LO QUE ESTÁ ENTRE EL “SI “ Y EL “ENTONCES”) Y LA SEGUNDA
EL CONSECUENTE (LO QUE ESTÁ DESPUÉS DEL “ENTONCES”
María de Jesús Orozco Arellanes Álgebra superior

VALORES DE VERDAD DE LOS CONECTORES

NEGACIÓN
P Q ¬𝐐 PQ PQ P→Q
0 0 1 0 0 1
0 1 0 0 1 1
1 0 1 0 1 0
1 1 0 1 1 1

La negación cambia
el valor de verdad de
la proposición original
María de Jesús Orozco Arellanes Álgebra superior

VALORES DE VERDAD DE LOS CONECTORES

CONJUNCIÓN
P Q ¬𝐐 PQ PQ P→Q
0 0 1 0 0 1
0 1 0 0 1 1
1 0 1 0 1 0
1 1 0 1 1 1

La conjunción es verdadera en el
único caso donde las dos
proposiciones son verdaderas
María de Jesús Orozco Arellanes Álgebra superior

VALORES DE VERDAD DE LOS CONECTORES

DISYUNCIÓN
P Q ¬𝐐 PQ PQ P→Q
0 0 1 0 0 1
0 1 0 0 1 1
1 0 1 0 1 0
1 1 0 1 1 1

La disyunción es falsa en el
único caso donde las dos
proposiciones son falsas
María de Jesús Orozco Arellanes Álgebra superior

VALORES DE VERDAD DE LOS CONECTORES

IMPLICACIÓN O CONDICIONAL
P Q ¬𝐐 PQ PQ P→Q
0 0 1 0 0 1
0 1 0 0 1 1
1 0 1 0 1 0
1 1 0 1 1 1

La implicación es falsa en el único caso donde

el antecedente es verdadero y el consecuente
es falso (podemos pensar que se forma un 10)
María de Jesús Orozco Arellanes Álgebra superior

CONCLUSIÓN

• EN ESTE CURSO SE ESTUDIAN LAS ESTRUCTURAS LÓGICAS.

• LAS PROPOSICIONES LÓGICAS QUE NOS INTERESAN SON LAS EXPRESIONES
MATEMÁTICAS
• HAY DOS VALORES DE VERDAD: VERDADERO (1) O FALSO (0)
• LAS REGLAS BÁSICAS DE LA LÓGICA SON LAS TABLAS DE VERDAD DE LOS
CONECTORES