Logica Proposicional (Teoria)
Logica Proposicional (Teoria)
Logica Proposicional (Teoria)
2 parciales Prácticos
2 parciales Teóricos
1 recuperatorio
Para regularizar se deben aprobar los dos parciales
prácticos
Para promocionar aprobar los dos parciales prácticos y
teóricos
LOGICA PROPOSICIONAL
La lógica es la disciplina que estudia los métodos de
formalización del conocimiento humano. En lógica se
estudian, por tanto, métodos de formalización de frases
declarativas. Para ello existen dos niveles de abstracción
según el grado de detalle que se quiera formalizar: Lógica
proposicional y Lógica de predicados.
La lógica proposicional o lógica de enunciados toma
como elemento básico las frases declarativas simples o
proposiciones que son aquellos elementos de una frase
que constituyen por si solos unidad de comunicación de
conocimientos y pueden ser considerados verdaderos o
falsos.
La lógica de predicados estudia las frases declarativas
con mayor grado de detalle, considerando la estructura
interna de las proposiciones . Se tomarán como elemento
básico los objetos y las relaciones entre dichos objetos.
Proposición
Es un enunciado al cual se le ¿Son proposiciones?
puede asociar el concepto de
¿Qué hora es?
verdadero o falso, pero no
Por favor, cierre la puerta
ambos. Es una oración
El 6 de abril de 1876 fue
declarativa
sábado
Ejemplos:
La luna es cuadrada
7 es un número primo
Las arañas son mamíferos
Lógica Proposicional
una V y la otra F
F F F
ambas falsas
Conjunción
Ejemplos:
p: Hoy es miércoles Si p y q son
proposiciones, se
q: La luna es cuadrada llama conjunción
r: mañana es jueves de p y q a la
proposición
compuesta “p y q “
p q :Hoy es miércoles y la luna y se denota por:
es cuadrada pq
p r :Hoy es miércoles y mañana
es jueves
Conjunción
Se toman como “sinónimos” de la conjunción:
Además También
Pero Aún
Sin embargo A la vez
Aunque No obstante
Conjunción: p ^ q
pq
Condicional
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
Formas derivadas del condicional
Dado el condicional directo: p q, el condicional ~ q ~p
se llama contrarrecíproco y lo expresaríamos: “ si no q,
entonces no p”
Algunas expresiones del lenguaje que indican la
presencia de un condicional (p → q), son las
siguientes:
p es condición suficiente para ¨q El condicional es muy importante
Si p, q en matemáticas, porque los
Teoremas se expresan en forma
Q si p condicional.
Que p supone que q Un Teorema será un condicional
Cuando p, q verdadero con hipótesis verdadera
q es condición necesaria para p
En caso de que p entonces q p q pq
q sólo si p
V V V
Condicional
Veamos la tabla del condicional: p q
p q pq
V V V
V F F
F V V
F F V
pq
La interpretación del enunciado es:
p si solo si q y p si q
O lo que es igual
Si p, entonces q y si q, entonces p
Es decir,
𝑝→𝑞 ∧ 𝑞→𝑝
Conexión entre proposiciones: Bicondicional
V V F V F F
V F V F V F
F V F F V F
F F V F V F
Ejemplo con 3 proposiciones simples
p q es lo mismo que (p q q p)
La proposición P es lógicamente equivalente a la proposición Q si, y
sólo si la proposición bicondicional P Q es una tautología
Equivalencia Lógica
p q pvq ¬ (p v q)
V V V F
V F V F
F V V F
F F F V
p q p ^q ¬p ¬q ¬p^¬ q
V V V F F F
V F F F V F
F V F V F F
F F F V V V
Equivalencia Lógica
La proposición P es lógicamente equivalente a la
proposición Q si, y sólo si la proposición bicondicional P
⇔ Q es una Tautología
PRUEBA DE VALIDEZ DE RAZONAMIENTO POR CONDICIONAL
ASOCIADO
Equivalencias Lógicas más Comunes
p p Pvp
V V V
F F V
Equivalencia lógica más comunes
Asociatividad
p q r pvq (p v q)v r p q r q vr p v ( qv r)
V V V V V V V V V V
V V F V V V V F V V
V F V V V V F V V V
V F F V V V F F F V
F V V V V F V V V V
F V F V V F V F V V
F F V F V F F V V V
F F F F F F F F F F
Leyes de De Morgan
p q p^q ¬( p ^ q) p q ¬p ¬q ¬p v¬ q
V V V F V V F F F
V F F V V F F V V
F V F V F V V F V
F F F V F F V V V
Leyes distributivas
p q r q^ r p v (q ^ r) p q r pvq pvr (p v q).(p v r)
V V V V V
V V V V V V
V V F F V
V V F V V V
V F V F V
V F V V V V
V F F F V
V F F V V V
F V V V V F V V V V V
F V F F F F V F V F F
F F V F F F F V F V F
F F F F F F F F F F F
Equivalencia lógica más comunes
Implicaciones Lógicas más comunes
Modus tollens
Modus ponens
Proposición Abierta
Una proposición abierta P(x) es un enunciado sobre una variable x que
se convierte en una proposición cada vez que ala variable x se sustituye
por un valor particular x0
x C, P( x)
Observación 2: la negación de la proposición ¨existe x en C tiene la propiedad P¨,
simbólicamente