Documente Academic
Documente Profesional
Documente Cultură
Introduccin
Originalmente, la lgica trataba con argumentos en el lenguaje natural es el siguiente argumento vlido?
Todos los hombres son mortales Scrates es hombre Por lo tanto, Scrates es mortal
En el lenguaje natural, se presentan una infinidad de argumentos, en los cuales tenemos que determinar la veracidad o falsedad de enunciados complejos
Lgica Proposicional
Ejemplos de otros argumentos
Algunas personas son polticas Scrates es una persona Por lo tanto, Scrates es poltico Creo que todos los hombres son mortales Creo que Scrates es hombre Por lo tanto, creo que Scrates es mortal
Lgica Proposicional
Tambin se pueden presentar cuestionamientos interesantes como los siguientes:
Sea A = {1, 2, 3}
A A? A A? A A?
Sea X = {{1,2,3},{4,5}}
X X? A X?
Se busca aplicar a
Matemticas: definicin de objetos matemticos, definicin de teoras matemticas, tcnicas de demostracin Aplicarlo para formalizar diversos aspectos en el rea de computacin
Una proposicin se define como un enunciado que puede ser calificado como verdadero o falso y que no puede descomponerse en otras frases verdaderas o falsas Ejemplos de lo que seran proposiciones? ejemplo de lo que no seran proposiciones?
Las constantes V (verdadero) y F (falso) pertenecen a LP Las letras de proposicin p, q, r, pertenecen a LP Si a y b pertenecen a LP, entonces:
a, b, (a b), (a b), (a , , b), (a b) pertenecen a LP
4.
1. 2. 3.
Ejercicios 1
Formalizar las siguientes expresiones:
a) q si p b) p pero q c) como mnimo p d) p no obstante q e) q necesario para p f) q suficiente para p g) p a pesar de q h) No p a menos que q i) p slo si q j) p sin embargo q k) p suficiente para q l) p siempre que q m) p a no ser que q
Ejercicios 2
Formalizar los siguientes razonamientos
Si el resultado obtenido es superior al previsto en 5 unidades, ser debido a no haber realizado el proceso a la temperatura adecuada o la existencia de errores en los clculos finales El anlisis realizado, innecesario si nos dejamos llevar por la precipitacin, se torna necesario si nos paramos a reflexionar sobre el mensaje que se pretende transmitir
Soluciones Ejercicios 1
Solucin Ejercicios 2
Ejemplos
Determine el valor de las siguientes frmulas bajo las interpretaciones siguientes
VI(p) = V, VI(q)= V, VI(r)=F ((p q) r) p q (p q) q p (p q) pq (r
p q)
Comentarios
Una interpretacin I es un MODELO para una frmula F si VI(F) = V Existe una clasificacin de las frmulas proposicionales
Vlida o tautologa: todas las interpretaciones son un modelo (para toda interpretacin I, tal que VI(F) = V), denotado por |= F Satisfactible: alguna interpretacin es un modelo (existe una interpretacin I, tal que VI(F) = V) Insatisfacible: contradiccin ninguna interpretacin es un modelo (no existe una interpretacin I, tal que VI(F) = V)
Tautologas
Listado de algunas tautologas conocidas
Modelos
Notacin:Vi |= F (Vi es un modelo de F) Por ejemplo, considere F = (p q) (q r)
v1(p) = v1(r) = V, v1(q) = F, entonces v1 |= (p q) (q r) v2(r) = V, v2(p) = v2(q) = F, entonces v2 | (p q) (q r)
Modelos
Sea S = {S1, , Sn} un conjunto de frmulas Modelo de un conjunto de frmulas
P.E. Sea S = {p q, q r, q S
Equivalencia Lgica
Equivalencia Lgica
Se dice que A y B son equivalentes lgicamente (denotado como A B A B), si para toda interpretacin I, se cumple que VI(A) = VI(B) Existen algunas equivalencias ya conocidas dentro de la lgica proposicional
Equivalencias lgicas
Consecuencia Lgica
Sea C un conjunto de frmulas {P1, , Pn} y sea Q una frmula. Se dice que Q es consecuencia lgica del conjunto C de premisas (se denota C Q) si toda interpretacin que es un modelo de C es tambin un modelo de Q
VI(P1) = VI(P2) = = VI(Pn) = V, entonces VI(Q) = V Q es consecuencia lgica de unas premisas es equivalente a pensar que Q toma valor V en cualquier mundo en el que las premisas tomen valor V
{P1, , Pn} Q se denomina razonamiento, donde {P1, , Pn} se denominan premisas y Q la conclusin