IPC
Unidad 2: nociones básicas de
lógica
(PARTE 1)
Profa. Dalila Serebrinsky
CONTENIDOS:
● ¿Qué es la lógica?
● ¿Qué es un razonamiento?
● ¿Qué es una proposición?
● Proposiciones atómicas y moleculares
● Conectivas lógicas
● Formalización
¿Qué es la lógica?
Es la disciplina que estudia la
corrección o incorrección de los
razonamientos.
¿Qué es un razonamiento?
● Un razonamiento es un conjunto de proposiciones en
el que se pretende que una de ellas (la conclusión)
se derive de otras de ellas (las premisas)
Si llueve, entonces hace frío. (P1)
Llueve. (P2)
Por lo tanto, hace frío. (C)
DEDUCTIVOS
La conclusión se sigue necesariamente de
las premisas
Válidos/inválidos
RAZONAMIENTOS
NO DEDUCTIVOS
La conclusión se sigue de las premisas sólo
con cierto grado de probabilidad
¿Qué es una proposición?
Es una expresión lingüística que posee función informativa.
● Proposiciones atómicas (simples): no contienen dentro de sí ninguna otra
proposición.
Ejemplo:
“El gato es blanco.”
● Proposiciones moleculares (compuestas): contienen otra/s proposición/es
dentro de sí.
Ejemplos:
“Compré chocolates y alfajores.” (‘compré chocolates’, ‘compré alfajores’)
“Si tengo plata, entonces me voy de vacaciones.” (‘tengo plata’, ‘me voy de
vacaciones’)
Los razonamientos son correctos (válidos) o incorrectos (inválidos) no por su
contenido, sino por su forma lógica.
Por eso, usamos lenguajes artificiales.
● Letras proposicionales: representan cada una de las proposiciones que
usamos.
● Conectivas: relacionan las proposiciones que componen una proposición
molecular.
“Tengo hambre” p
“Tengo hambre y sueño” p∧q
CONECTIVAS LÓGICAS
CONECTIVA EXPRESIÓN EN SÍMBOLO EJEMPLO
LENGUAJE
NATURAL
NEGACIÓN no ᆨ/∼ Hoy no llueve.
COJUNCIÓN y ∧/· Hoy llueve y hace
frío.
DISYUNCIÓN o v Hoy llueve o sale el
sol.
CONDICIONAL si...entonces →/⊃ Si hoy llueve,
entonces me quedo
en casa.
BICONDICIONAL si y sólo si ↔ Hoy llueve si y sólo si
hay mucha humedad.
LA NEGACIÓN
Para una proposición p podemos formar su negación ∼p.
Por ejemplo, si p representa la proposición “Juan es alto”, ∼p será
la representación de la proposición “Juan no es alto”.
Algunas formas de encontrar negación en el lenguaje natural:
● “no”
● “no es el caso que”
● “no es cierto que”
LA NEGACIÓN
TABLA DE VERDAD
p ∼p
V F
F V
LA CONJUNCIÓN
Para dos proposiciones p y q, podemos formar su conjunción p∧q.
Por ejemplo, si p representa la proposición “llueve” y q representa la
proposición “hace frío”, la fórmula p∧q representará “llueve y hace
frío”.
Algunas formas de encontrar la conjunción en el lenguaje natural:
● “y”
● “pero”
● “además”
● “aunque”
● “sin embargo”
LA CONJUNCIÓN
TABLA DE VERDAD
p q p∧q
V V V
F V F
V F F
F F F
LA DISYUNCIÓN
Para dos proposiciones p y q, podemos formar su disyunción pvq.
Por ejemplo, si p representa la proposición “María tiene 20 años” y
q representa la proposición “Carlos tiene 20 años”, la fórmula pvq
representa la proposición compuesta “María tiene 20 años o
Carlos tiene 20 años”.
Encontramos la disyunción en el lenguaje natural:
● “o”
LA DISYUNCIÓN
TABLA DE VERDAD
p q pvq
V V V
F V V
V F V
F F F
EL CONDICIONAL
Para dos proposiciones p y q, podemos formar el condicional p⊃q.
Por ejemplo, si p representa la proposición “Laura trabaja mucho” y q
representa la proposición “Laura obtendrá un aumento”, la fórmula p⊃q
representa “Si Laura trabaja mucho, obtendrá un aumento”.
Algunas formas de encontrar el condicional en el lenguaje natural:
● “si…,...” (introduce el antecedente)
● “...sólo si…” (introduce el consecuente)
● “si...entonces...”
● “es necesario que…” (introduce el consecuente)
● “es suficiente que...” (introduce el antecedente)
● siempre que…, ….”
EL CONDICIONAL
TABLA DE VERDAD
p q p⊃q
V V V
F V V
V F F
F F V
EL BICONDICIONAL
Para dos proposiciones p y q, podemos formar el bicondicional p↔q.
Esto equivale a (p⊃q)∧(q⊃p).
Por ejemplo, si p representa la proposición “es jueves” y q representa la
proposición “mañana es viernes”, entonces p↔q representa la proposición
compuesta “hoy es jueves si y sólo si mañana es viernes”.
Encontramos el bicondicional en el lenguaje natural:
● “...si y sólo si…”
● “...es necesario y suficiente para…”
EL BICONDICIONAL
TABLA DE VERDAD
p q p↔q
V V V
F V F
V F F
F F V
FORMALIZACIÓN DE ENUNCIADOS
Sustituir las proposiciones atómicas por letras proposicionales y
los conectores por conectivas lógicas.
1. Asignar a cada proposición atómica una letra proposicional.
2. Reemplazar los nexos proposicionales por conectivas
lógicas.
FORMALIZACIÓN DE ENUNCIADOS
EJEMPLO:
“Hoy hay clase de IPC o de Metodología”
1. Código:
p= hoy hay clase de IPC
q= hoy hay clase de Metodología
1. Formalización:
pvq
FORMALIZACIÓN DE ENUNCIADOS
EJEMPLO:
“Voy a la fiesta sólo si empieza temprano.”
1. Código:
p= voy a la fiesta
q= la fiesta empieza temprano
1. Formalización:
p⊃q
FORMALIZACIÓN DE ENUNCIADOS
EJEMPLO:
“hoy es jueves pero si llueve no tenemos clase de IPC”
1. Código:
p= hoy es jueves
q= hoy llueve
r= hoy tenemos clase de IPC
1. Formalización:
p ∧ (q⊃∼r)
¡GRACIAS!
☺
