yo y ella

EJERCICIOS DE LOGICA PROPOSICIONAL (1) I.- Convierte estas expresiones en frmulas, poniendo los parntesis segn la numeracin de los conectivos 1) p --- q --- r s --- q --- p 2 3 4 1 3 4 2 2) p --- q --- r s --- q --- p 2 1 4 3 4 2 3 3) p v q v r s v p --- r 1 5 4 6 3 2 4) p v q v r s v p --- r 2 3 1 2 5 4 5 3 II.- Identificael alcance de cada conectivo poniendo un nmero debajo de cada uno. En caso de dos con un alcance parecido, ponles el mismo nmero 5) a --- (b --- (c b) v c) 6) (a --- b) --- ((c b) v c) 7) (a v b) --- (c v d) 8) (a v (b --- (c v d))) 9) (a --- b) --- (c --- d) 10) a --- (b --- (c --- d)) 11) ((a --- b) --- c) --- d III.- Pon parntesis cuando sea necesario para convertir estas frmulas en otrastal como se indican 12) a v a --- b v b en frmula disyuntiva 13) a --- c --- d a en frmula conjuntiva 14) t --- b v (c s) en frmula conjuntiva 15) t --- b v (c s) en frmula disyuntiva 16) t s --- t v b --- s en frmula negativa 17) t s --- t v b --- s en frmula condicional  IV.- Elimina los parntesis superfluos en estas frmulas 18) (p v s) --- (t c) 19) (p v (s t) --- (c --- p)20) ((a) ((b) v c)) --- (c d) 21) ((p b) --- (c a)) --- (d v s) V.- Transforma, por medio de parntesis, las expresiones de la izquierda en frmulas que tengan la forma lgica de la derecha 22) p q v --- p v q v r A B 23) b --- t --- s t A B A --- B 24) a b --- c d --- a d A A --- B 25) a v b c v d --- d v c --- z A --- B A --- B EJERCICIOS DE LOGICA PROPOSICIONAL (2) I. Numera elalcance de los conectivos p q --- p v q --- r (r v s) p (r s) --- t v s a --- b --- c v d p ---- (d ---- (f ---- g)) c (d v t) ---- r (s t) II. Elimina parntesis innecesarios p ---- (d ---- (f ---- g)) c (d v t) ---- r (s t) (a) (b v (c d)) ----((d --- f) d) III. Transforma la expresin en las siguientes frmulas En conjuntiva a b v c --- d v s --- t En disyuntiva a bv c --- d s --- t En negativa a b v s ---- d s t --- r En condicional a --- b c ---- d v s t En bicondicional a --- b c ---- d v s t SOLUCIONES A EJERCICIOS DE LGICA PROPOSICIONAL (2) I. Numera el alcance de los conectivos p q --- p v q --- r (r v s) 2 1 3 2 1 2 3 p (r s) --- t v s a --- b --- c v d 2 3 4 1 2 1 23 p ---- (d ---- (f ---- g)) c (d v t) ---- r (s t) 1 2 3 2 3 4 1 2 4 3 II. Elimina parntesis innecesarios p ---- (d ---- (f ---- g)) c (d v t) ---- r (s t) a (b v (c d)) ----(d --- f) d III. Transforma la expresin en las siguientes frmulas En conjuntiva a (b v c --- (d v s --- t)) En disyuntiva (a b) v (c --- (d s --- t))En negativa (a (b v s) ---- d (s t --- r)) En condicional a --- (b c ---- (d v s) t) En bicondicional a --- b c ---- d v (s t) EJERCICIOS DE LOGICA PROPOSICIONAL (3) I.- Convierte estas expresiones en frmulas, poniendo los parntesis segn la numeracin de los conectivos dada a) p --- q --- r 1 2 3 b) p --- q --- r 2 3 1 c) p q v r 1 2 3 4 d) p q v r 4 1 2 3II.- Identifica el alcance de cada conectivo poniendo un nmero debajo de cada uno. En caso de dos con un alcance parecido, ponles el mismo nmero a) p --- p --- p b) p q --- (p v q) q c) p q --- r (p v q) --- s III.- Pon parntesis cuando sea necesario para convertir estas frmulas en otras tal como se indican a) p --- q v r en frmula disyuntiva b) p v q r en frmula conjuntiva c) p qen frmula negativa d) p v r en frmula e) p --- q en frmula f) p q --- r en frmula condicional g) p --- r en frmula IV.- Elimina los parntesis superfluos en estas frmulas a) ((p --- r) (q --- r)) --- ((p v q) --- r) b) p --- (q --- (p --- q)) c) (p) v (r --- q p) d) (p v r) --- (p (r) --- q) V.- Transforma, por medio de parntesis, las expresiones de la...