LOGICA

PROPOSICIONAL
RAZONAMIENTO, LOGICO Y MATEMATICO
 Lo que vamos a estudiar a continuación son
algunas nociones de la lógica tal como se concibe
en la actualidad.
Estudiaremos la lógica como un sistema formal que
opera sobre los procesos de razonamiento
mediante el cálculo, aplicando precisas reglas de
inferencia.
Seguramente los procedimientos de la lógica te
recordarán bastante a las matemáticas. Esto no es
casualidad, la lógica simbólica surge como
resultado de la matematización de la lógica
tradicional.

Lógica proposicional
 La lógica es una disciplina filosófica que
trata sobre la validez de los razonamientos;
de acuerdo con su historia, la palabra
lógica deriva del concepto griego “logos”,
que es traducido por pensamiento o razón.
La lógica nace en el seno de la filosofía
griega con el objetivo de ordenar las leyes
del razonamiento;
Fue el filósofo Aristóteles su primer
sistematizador, su tratado constituye un
modelo de referencia hasta el siglo XIX en
el que se matematiza gracias al uso de un
lenguaje simbólico.

Que es la Lógica ?
Investigar la Historia de la Lógica y en
grupos sustentar trabajo sobre:
- Edad Antigua
- Edad Media
- Edad Moderna
- Edad Contemporánea

Actividad 2 Parcial
Función de la Lógica
 Es un enunciado al cual se le puede asociar el
concepto de verdadero o falso, pero no ambos.

Ejemplos:

• La luna es cuadrada
• 7 es un número primo
• Las arañas son mamíferos
• La sangre es roja

Proposición
Proposición
 Ejemplos:

1. .
2. .
3. .
4. .
5. .
6. .
7. .

Proposición
En aritmética se realizan operaciones mediante
operadores elementales, tales como +, - , x, ÷,
etc.
En lógica matemática se dispone de los
denominados operadores lógicos, que permiten
modificar proposiciones, o asociar dos o más
enunciados simples, convirtiéndolos en
proposiciones compuestas. 

Proposiciones Compuestas 
Ejemplos:

Juan estudia Y trabaja

Sandra se va O se queda

Si Gano el año entonces me voy de vacaciones

Proposiciones Compuestas 
Cada proposición es representada por una letra,
tradicionalmente p, q, r, …

Juan estudia Y trabaja

Sandra se va O se queda

Si Gano el año entonces me voy de vacaciones

Voy a la Universidad a estudiar y llevo mi agenda para escribir

Conectores Logicos
 Si p es una proposición,
Entonces “no p” es la negación de p
y se denota por:
~p

Ejemplo:
P: Hoy es martes
~ p: Hoy no es martes

Negación
 Como sinónimos de NO, se utilizan las
siguientes expresiones:

1. No es cierto que ……..

2. No es el caso que………….
3. Es falso que…………
4. No sucede que ……….

Negación
Podemos representar la negación de una proposición
cualquiera “p” en forma “compacta”, utilizando una tabla.

A esta tabla se le llama

“tabla de certeza o tabla de verdad de la negación”

Negación
La conjunción de dos proposiciones se forma insertando la
palabra “y” entre ellas.

1. “Hoy es día de fiesta y amaneció lloviendo”

2. “Me llamo Andrea y soy Estudiante”
3. “ Te llamas Felipe y eres Medico ”

Conjunción…”Y”
 Se toman como “sinónimos” de la
conjunción:
 Además
 Pero
 Sin embargo
 Aunque
 También
 Aún
 A la vez
 No obstante

Conjunción…”Y”
 Ejemplos:

1. .
2. .
3. .
4. .
5. .

Conjunción…”Y”
 Luis estudia ,además de trabajar
 Luis estudió pero no aprobó
 Luis canta, sin embargo no baila
 Luis jugó futbol aunque estaba lesionado
 Luis juega futbol , también José
 Luis salió, aún no llega
 Luis cocina a la vez que canta
 Luis viajará no obstante esté sin visa
 Luis canta, no baila.

Conjunción…”Y”
Conjunción…”Y”
La disyunción de dos proposiciones se forma insertando la palabra
“o” entre ellas.

- “Hoy es día de fiesta o es día de descanso ”

- “Vas a Santander o viajas a Boyacá”
- “ Karen esta Dormida o no es dormida”

Disyunción….”O”
La disyunción de dos proposiciones se forma insertando la palabra
“o” entre ellas.

- “Hoy es día de fiesta o es día de descanso ”

- “Vas a Santander o viajas a Boyacá”
- “ Karen esta Dormida o no es dormida”

Disyunción….”O”
 Seré cantante o futbolista
 p: Seré cantante
 q: Seré futbolista

Simbolización:
p q

Disyunción….”O”
 “si p, entonces q” y se denota por:
p q
Ejemplos:
- Si no llueve (entonces) iremos a la playa
- Si me gano la lotería (entonces) me voy de viaje
- Si no estudio (entonces) no aprobaré Lógica

El condicional es falso,
sólo cuando el
antecedente es
verdadero y el
consecuente es falso.

Condicional