PROPOSICIONES EQUIVALENTES: DOS PROPOSICIONES COMPUESTAS p y q SE DICE QUE SON
EQUIVALENTES SI UNIDOS POR EL BICONDICIONAL () , EL RESULTADO ES UNA TAUTOLOGIA ,
ES DECIR , QUE p y q TIENEN LOS MISMOS VALORES DE VERDAD EN SU OPERADOR PRINCPA
EJEMPLO. DETERMINAR SI LOS ESQUEMAS (p q) v (r ᴧ p) Y n q (n r n p) SON
EQUIVALENTES.
. p q r (p q) v (r ᴧ p) n q (n r n p)
. v v v v v v v f v v
. v v f v v f v f v f
. v f v f v v v v v v
. v f f f f f v v f f
. f v v v v f v f v v
. f v f v v f v f v v
. f f v v v f v v v v
. f f f v v f v v v v
1 3 2 7 4 6 5
VEMOS QUE LAS COLUMNAS 3 Y 6 , QUE CORRESPONDEN A LAS OPERACIONES PRINCIPALES .
SON IGUALES ; ENTONCES AL UNIR ESTAS DOS COLUMNAS POR EL OPERADOR “ ” , ES
TAUTOLOGICO , POR LO TANTO , AMBOS ESQUEMAS EQUIVALENTES.
LEYES LOGICAS
LAS LEYES LOGICAS , SON PROPOSICIONES TAUTOLOGICAS DE CARÁCTER GENERAL Y QUE A
PARTIR DE ESTAS LEYES LOGICAS SE PUEDE GENERAR OTRAS TAUTOLOGICAS.
1.- LEY IDEMPOTENTE
a) p v p ≡ p
b) p ᴧ p ≡ p
2.-LEY CONMUTATIVA
a) p ᴧ q ≡ q ᴧ p
b) p v q ≡ q v p
3.-LEY ASOCIATIVA
a) p ᴧ (q ᴧ r) ≡ (p ᴧ q) ᴧ r
b) p v (q v r) ≡ (p v q) v r
4.-LEY DISTRIBUTIVA
a) p ᴧ (q v r) ≡ (p ᴧ q) v (p ᴧ r)
b) p v (q ᴧ r) ≡ (p v q) ᴧ (p v r)
5.-LEY DE EXISTENCIA DE LOS ELEMENTOS NEUTROS
a) V ᴧ p ≡ p c) F v p ≡ p
b) F ᴧ p ≡ F d) V v p ≡ V
6.-LEY DE ABSORCION
a) p v (p ᴧ q) ≡ p
b) p ᴧ (p v q) ≡ p
7.-LEYES DE COMPLEMENTACION
a) p v n p ≡ V c) n (n p) ≡ p
b) p ᴧ n p ≡ F d) n V ≡ F
e) n F ≡ V
8.-LEY DE MORGAN
a) n (p v q) ≡ n p ᴧ n q
b) n (p ᴧ q) ≡ n p v n q
9.-LEY DE IMPLICACION MATERIAL
. p => q ≡ n p v q
10.- LEY DE DOBLE IMPLICACION
. p q ≡ (p => q) ᴧ (q => p) ≡ (n p v q) ᴧ (n q v p)
EJEMPLOS.
1-. SIMPLIFICAR.
[ (p ᴧ q) v (p ᴧ n q) ] v (n p ᴧ n q)
[p ᴧ ( q v n q) ] v (n p ᴧ n q)
[p ᴧ V] v (n p ᴧ n q)
p v (n p ᴧ n q)
(p v n p) ᴧ (p v n q)
V ᴧ (p v n q)
pvnq
[Link].
[ (n q n p) (n p n q) ] ᴧ n (p ᴧ q)
[ (q v n p) (p v n q) ] ᴧ n (p ᴧ q)
(n (q v n p) v (p v n q) ] ᴧ n (p ᴧ q)
[ (n q ᴧ p) v (p v n q) ] ᴧ n (p ᴧ q)
{ [ (n q ᴧ p) v p ] v n q } ᴧ n (p ᴧ q)
(p v n q) ᴧ (n p v n q)
(n q v p) ᴧ (n q v n p)
n q v (p ᴧ n p)
nqvF
nq
[Link] SI LAS PROPOSICIONES.
. p (r v n q) Y (q n p) v (n r n p)
SON EQUIVALENTES.
SOLUCION.
CONSIDERANDO LA SEGUNDA PROPOSICION
(q n p) v (n r n p)
(n q v n p) v (r v n p)
(n p v n p) v (r v n q)
n p v (r v n q)
p (r v n q)
POR LO TANTO , SON LOGICAMENTE EQUIVALENTES
FUNCION PROPOSICIONAL: SE LLAMA ASI A TODO ENUNCIADO ABIERTO , Y SE DENOTA POR
P(x) , UNA FUNCION PROPOSICIONAL NO ES UNA PROPOSICION EN SI , PARA ELLO ES NECESARIO
ASIGNAR UN VALOR A LA VARIABLE.
EJEMPLO.
P(x) : x + 1 > 3
P(y) : y – 2 = 4
SOLUCION DE UNA FUNCION PROPOSICIONAL
SI AL REEMPLAZAR LA VARIABLE x POR UN VALOR ESPECIFICO “a” DE SU DOMINIO , SE OBTIENE
UNA PROPOSICION VERDADERA , ENTONCES EL VALOR ESPECIFICO “a” ES UNA SOLUCION O RAIZ
DE LA FUNCION PROPOSICIONAL.
EJEMPLO. SI EN P(x) : 7x – 5 = 9 SE HACE EL REEMPLAZO x = 2 , SE TIENE QUE P(2) : 7(2) – 5 = 9 , ES
VERDADERO
LUEGO: 2 ES UNA RAIZ DE P(x) : 7x – 5 = 9
EN CAMBIO SI x = 5
P(5) :7 (5) – 5 = 9 ES FALSO
LUEGO : 5 NO ES RAIZ DE P(x).
CUANTIFICADOR UNIVERSAL: ES UNA EXPRESION DE LA FORMA PARA TODO x , P(x) , DONDE P(x)
ES UNA FUNCION PROPOSICIONAL.
EJEMPLO.
⦡x∈ℝ,x+1>0
⦡ x ∈ ℝ , x2 + 1 > 0
CUANTIFICADOR EXISTENCIAL: ES UNA EXPRESION DE LA FORMA EXISTE x , TAL QUE P(x) EXISTE
POR LO MENOS.
EJEMPLO.
∋ x ∈ ℕ / x2 – x – 6 = 0
∋ x ∈ ℕ / x2 < 0
DEBE TENER EN CUENTA QUE , P(x) , POR SI SOLA NO ES UNA PROPOSICION , SIN UNA FUNCION
PROPOSICIONAL Y POR CONCIGUIENTE NO TIENE VALOR DE VERDAD . EN CAMBIO LA EXPRECION
⦡ x , P(x) Ó ∋ x , P(x) SI ES UNA PROPOSICION , Y POR LO TANTO TIENE UN VALOR DE VERDAD.
EJEMPLO:
⦡ x ∈ ℕ : 1/x > 0 , SIENDO ℕ LOS NUMEROS NATURALES
NEGACION DE PROPOSICIONES QUE CONTIENEN CUANTIFICADOR: LA NEGACION DE LA
PROPOSICION “TODO ESTUDIANTE SE ALIMENTA” ES , “ NO ES VERDAD QUE TODO ESTUDIANTE
SE ALIMENTA” O SEA , “EXISTE AL MENOS UN ESTUDIANTE QUE NO SE ALIMENTA”. LUEGO , SI
DENOTAMOS POR E A TODOS LOS ESTUDIANTES Y POR P(x) A LA FUNCION PROPOSICIONAL “x SE
ALIMENTA”
ENTONCES.
n [⦡ x ∈ E : P(x) [ ∋ x ∈ E : n P(x) ]
ES VERDADERO.
EJEMPLO
n (∋ x ∈ ℤ / x – 5 > x) (⦡ x ∈ ℤ , x – 5 ≤ x)
DETERMINAR EL VALOR DE VERDAD DE LA SIGUIENTE PROPOSICION.
[ (p q) ᴧ (q ᴧ ∽ r) ] [ (q r) ᴧ (p v ∽ q) ] , SI :
p: ∋ x ∈ ℝ / x2 + 4 = 0 (F)
q: ⦡ x ∈ ℝ / x0 = 1 (F)
r: ∋ x ∈ ℕ / x! = 10 (F)
LUEGO:
[ (p q) ᴧ (q ᴧ ∽ r) ] [ (q r) ᴧ (p v ∽ q) ]
F F F V F F F V
V F V V
F V
V
INFERENCIA LOGICA: UNA INFERENCIA LOGICA , ES LA CONCLUSION QUE SE OBTIENE DE DOS O
MAS PROPOSICIONES DENOMINADAS PREMISAS.
EJEMPLO.
SI HACE CALOR , ENTONCES EL AGUA SE EVAPORA
HACE CALOR
CONCLUSION: EL AGUA SE EVAPORA
EN FORMA SIMBOLICA.
. pq
. p
. q
UNA INFERENCIA ES VALIDA SI SOLO SI LA CONJUNCION DE LAS PREMISAS , IMPLICACION LA
CONCLUSION , RESULTA UNA TAUTOLOGIA:
. [ ( p q) ᴧ p ] q
. p q [ (p q) ᴧ p ] q
. v v v v v v v
. v f f f v v f
. f v v f f v v
. f f v f f v f
1 3 2 5 4
TAUTOLOGIA
UN RAZONAMIENTO BIEN CONSTRUIDO PUEDE SER FALSO EN SU CONTENIDO MATERIAL.
EJEMPLO:
LA TIERRA ESTA FORMADO DE PLASTILINA
MI BRAZO FORMA PARTE DE LA TIERRA
LUEGO:MI BRAZO ESTA FORMADO DE PLASTILINA
EN LOGICA NO INTERESA TANTO LA VERDAD O FALSEDAD DE LAS PROPOSICIONES , SI NO DE LAS
RELACIONES LOGICAS QUE EXISTEN ENTRE ELLOS.
DETERMINAR SI LA SIGUIENTE INFERENCIA ES VALIDA.
NO ES VERDAD QUE ESTUDIAS Y TRABAJAS
SI QUIERES CONSEGUIR DINERO , ENTONCES TRABAJAS
LUEGO: SI ESTUDIAS ENTONCES NO CONSIGUES DINERO
SU ESQUEMA ES:
∽ (p ᴧ q)
rq
p∽r
LUEGO: [∽ (p ᴧ q) ᴧ (r q) (p ∽ r]
. p q r [∽ (p ᴧ q) ᴧ (r q) ] (p ∽ r)
. v v v f v f v v f
. v v f f v f v v v
. v f v v f f f v f
. v f f v f v v v v
. f v v v f v v v v
. f v f v f v v v v
. f f v v f f f v v
. f f f v f v v v v
2 1 4 3 6 5
TAUTOLOGIA
ENTONCES LA INFERENCIA ES VALIDA.
EJERCICIOS
1.-DEMOSTRAR APLICANDO LEYES LOGICAS
P ᴧ {p [q ᴧ (q r) ] } ≡ p ᴧ (q ᴧ r)
SOLUCION
p ᴧ {p [q ᴧ (q r) ] }
p ᴧ {p [q ᴧ (∽ q v r) ] }
p ᴧ {p [ (q ᴧ ∽ q) v (q ᴧ r) ] }
p ᴧ {p [F v (q ᴧ r) ] }
p ᴧ {p (q ᴧ r)}
p ᴧ {∽ p v (q ᴧ r) }
(p ᴧ ∽ p) v [p ᴧ (q ᴧ r) ]
F v [p ᴧ (q ᴧ r) ]
p ᴧ (q ᴧ r)
