LÓGICA
PROPOSICIONES
INTRODUCCIÓN
El hombre se distingue de los demás animales por su
capacidad de razonamiento y para mejorar dicha
capacidad, le fue necesario hacer uso de una
herramienta matemática, siendo la lógica matemática o
lógica simbólica.
LÓGICA
• DEFINICIÓN: Es el conjunto de los métodos y principios
usados para distinguir el razonamiento correcto del
incorrecto.
PROPOSICIONES SIMPLES Y
PROPOSICIONES COMPUESTAS
En la lógica se distinguen dos tipos de proposiciones, siendo estas:
1. Proposiciones simples o atómicas
2. Proposiciones compuestas o moleculares
Antes de iniciar el tratado de estos dos tipos de
proposiciones, se dará la definición de lo que es una
proposición.
PROPOSICIÓN
DEFINICIÓN: Es la oración afirmativa que puede ser verdadera o falsa, pero
no ambas.
EJEMPLO: Las siguientes afirmaciones son proposiciones
1. 4 es mayor que 8
2. México es un país de américa latina
3. 10 es menor que 34
4. Carlos es alto
Expresiones que no son proposiciones
1. ¿ Como te llamas ?
2. ¿ Que hora es ?
3. ¡ Levanta esa pluma !
Estas expresiones no son proposiciones porque no afirman
nada que sea verdadero o falso. 1 y 2 son preguntas, y la 3 es una
orden.
PROPOSICIONES SIMPLES
DEFINICIÓN: Las proposiciones simples o atómicas son
proposiciones que ya no pueden descomponerse en dos
expresiones que sean proposiciones.
EJEMPLO: Las siguientes son proposiciones simples
1. La ballena es roja
2. La raíz cuadrada de 16 es 4
3. María va a la escuela
PROPOSICIONES COMPUESTAS
DEFINICIÓN: A las proposiciones en las que aparecen las partículas gramaticales
como: No, o , y , si … entonces, si y solo si. Se les llama proposiciones compuestas o
moleculares.
EJEMPLO: Las siguientes son proposiciones compuestas
1. La ballena no es roja
2. Teresa va a la escuela o María es inteligente
3. El 1 es el primer numero primo y es mayor que cero
4. Si juan es estudioso entonces pasara el examen
5. Aprenderé matemáticas si y solo si estudio mucho
OBSERVACIÓN
• Se les llama conectivos lógicos a las partículas:
No, o , y , si … entonces, si y solo si.
Observemos que los conectivos: o , y, si…entonces, si y solo si, se
usan para enlazar dos proposiciones, pero el conectivo lógico No
actúa sobre una sola proposición.
CONECTIVOS LÓGICOS
CONECTIVO NOMBRE SIMBOLO
No negación ¬, ~
o disyunción ∨
y conjunción ∧
Si…entonces condicional →
Si y solo si bicondicional ↔
SIMBOLIZACIÓN DE PROPOSICIONES
• Para simbolizar cualquier proposición es necesario saber como se simbolizaran las
proposiciones simples y los conectivos. A las proposiciones simples las
simbolizaremos con letras mayúsculas: A, B, P, Q…
• EJEMPLOS: Simbolizar las proposiciones que se dan:
1. La ballena no es roja
la proposición simple es: la ballena es roja, luego podemos proceder de la
forma siguiente: P= La ballena es roja.
Y la simbolización para la proposición compuesta es: ~𝑃
• Teresa va a la escuela o María es inteligente
P= Teresa va a la escuela Q= María es inteligente
Luego la simbolización es: P∨Q
• 7 es mayor que 5 y 7 es menor que 10
P= 7 es mayor que 5 Q= 7 es menor que 10
Luego la simbolización es: P∧ Q
• Si juan es estudioso entonces pasara el examen
P= Juan es estudioso Q= Juan pasara el examen
La simbolización es: P→ Q
• Aprenderé matemáticas si y solo si estudio mucho
P= Aprenderé matemáticas Q= estudio mucho
La simbolización es: P↔Q
Ejercicio: Simbolizar las siguientes
proposiciones
1. Carlos no va al cine y no va al parque
2. Si Rosa y Luis van de paseo entonces se divierten
3. Si 3 es mayor que 2 y 2 es mayor que cero entonces 3 es mayor que cero
4. No ocurre que Juan sea alto y sea bajo
observación: siempre que aparezca la expresión ( no ocurre que ) indica que en la
simbolización la negación antecede a los paréntesis y dentro de ellos se debe
incluir la simbolización de la proposición restante.
TABLAS DE VERDAD, TAUTOLOGIAS Y
CONTRADICCIONES
• A toda proposición P se le asocia un valor de verdad, siendo esta verdadera o
falsa, lo cual se representa como:
• Valor de verdad de P= V(P)=V= Verdadero
• Valor de verdad de P=V(P)=F= Falso
también se acostumbra representarlo por:
• V(P)=1=Verdadero o V(P)=0= Falso
• Es importante considerar que en la proposición condicional 𝑃 → 𝑄, P es el
antecedente y Q es el consecuente.
TABLA DE VERDAD DE LA
PROPOSICIÓN NEGATIVA ~𝑷
P ~P P ~P
V F 1 0
F V 0 1
TABLA DE VERDAD DE LA
PROPOSICIÓN DISYUNTIVA P∨Q
P Q P∨Q P Q P∨Q
V V V 1 1 1
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0
TABLA DE VERDAD DE LA
PROPOSICIÓN CONJUNTIVA P∧ Q
P Q P∧Q P Q P∧Q
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F F 0 0 0
TABLA DE VERDAD DE LA
PROPOSICIÓN CONDICIONAL P→Q
P Q P→Q P Q P→Q
V V V 1 1 1
V F F 1 0 0
F V V 0 1 1
F F V 0 0 1
TABLA DE VERDAD DE LA
PROPOSICIÓN BICONDICIONAL P↔Q
P Q P↔Q P Q P↔Q
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F V 0 0 1
• NOTA: Observemos que el numero de renglones de una tabla de
verdad es 2𝑛 en donde 𝑛 es el numero de proposiciones simples
que aparecen en la proposición compuesta.
