Propiedades de las conectivas

viernes, 16 de diciembre de 2011 11:55

Conmutatividad: El orden de las clausulas no altera el resultado Asociatividad: El orden de las agrupaciones no altera el resultado Distributividad

Sustitucin Transitividad

Distributividad
Ejemplo: p ( q v r ) ( p q ) v ( p r ) (pvqr) (pvq)(pvr)

equivalente

Son validas las equivalencias de los ejemplos? - Para probar que son equivalentes se demuestran con tablas de verdad - Es decir si el primer esquema es V lo es el segundo; y, - Si el primer esquema es F, lo es el segundo
Ley de Distributividad a) La conjuncin es distributiva respecto a la alternacin b) La alternacin es distributiva respecto a la conjuncin Validez de la equivalencia

La validez de un esquema significa que el esquema es siempre V pues cualquiera sea la combinacin asignada a las proposiciones elementales, el resultado ser siempre el mismo ( o V o F ) Sustitucin:
Un esquema vlido, tambin se obtiene por sustitucin. Si en un esquema se sustituye una parte por otra equivalente, el esquema resultante es equivalente al primero. Ejemplo: p( qv r ) ( pq) v ( pr ) Si se sustituye p por "p v s", resulta (pvs)(qvr)(p vs)q v(pvs)r

Transitividad:
La equivalencia es transitiva, si E1 es equivalente a E2, y E2 es equivalente a E3, entonces E1 es equivalente a E3 Otras equivalencias: Mediante las equivalencias y ayudndonos de las que hemos establecido, podemos descubrir otras: - El sentido de la conectiva bicondicional ayuda a formular la siguiente equivalencia p q . . ( p q ) ( q p) Y si: p q - p v q Luego podemos sustituir p q. .(-pvq)(-qvp) p q . . - p - q v - p p v q - q v q p (Distributividad) Como p - p & q - q : son siempre F se pueden eliminar

Luego tenemos: p q . . p q v - p - q (conmutatividad de la alternacin y de la conjuncin) Categoras de esquemas A) Esquemas Tautolgicas o vlidas: Son esquemas proposicionales siempre verdaderas Ejemplo. p q q p pvq..qvp
Lgica Simbolica pgina 1

pvq..qvp p p ( p v q )

- ( p q ) ( - p v - q )
B) Esquemas contradictorios o inconsistentes: Cuando el resultado de un esquema siempre es falso Ejemplo: p - p q-q ( p v - p ) q - q C) Esquemas proposicionales o consistentes. Cuando a veces es V, y a veces es F. Ejemplo: p v q r (p v q ) ( p v r ) pqvpr

Lgica Simbolica pgina 2