MD Clase 1
MD Clase 1
MD Clase 1
La lógica proposicional estudia la estructura de los enunciados, tratando de simbolizarlos. Luego intenta ver si
estos enunciados tienen sentido. También estudia la estructura de los razonamientos (cosa que veremos un poco
más adelante en esta misma unidad).
Empecemos con los enunciados más simples.
Definición: Una proposición es todo enunciado declarativo para el cual tiene sentido determinar su verdad o
falsedad. Se las simboliza con las letras: p, q, r, etc…
b) 5 + 1 =9
f) x-1=3
Una proposición compuesta se construye con proposiciones simples vinculadas por operadores llamados
conectivos lógicos.
Su valor de verdad dependerá entonces de los valores de las proposiciones simples que la componen y del valor
de verdad de los conectivos que las unen.
p p
p q pq
p q p→q
p q pq
¿Qué pasa con el valor de verdad?
Observación (definición):
p↔q es lógicamente equivalente a (p→q q→p)
Es decir, un bicondicional puede pensarse como dos
condicionales (de ahí su nombre)
Ejercicio: Reconocer proposiciones simples y expresar en forma simbólica los siguientes
enunciados
1) Si hay muchos insectos, entonces no salgo de la casa.
a) p → (q r)
b) q → p
c) (p q) → ( p r )
d) q → ( p q)
e) p p
Definición: Una proposición es tautológica si su valor de verdad es siempre verdadero, independientemente de los
valores de verdad de las proposiciones simples que la compongan.
Definición: Una proposición es una contingencia si su valor de verdad depende de los valores de verdad de las
proposiciones simples que la compongan.
Definición: Una proposición es una contradicción si su valor de verdad es siempre falso, independientemente de
los valores de verdad de las proposiciones simples que la componen.
A continuación, estudiaremos la nomenclatura (los nombres) que reciben ciertos
condicionales, y la relaciónentre ellos.
Ejercicio: Hacer las tablas de verdad de los 4 condicionales y ver qué relación hay entre ellos.
Observación: Es lo mismo que decir que ante los mismos valores de verdad de las proposiciones simples que las
componen, tienen el mismo valor de verdad
𝒑∧𝒒 𝒑∨𝒒
Ejercicio 1: Armar el circuito lógico de la siguiente proposición: (𝑝 ∨ ¬𝑞) → 𝑟