Descripción: Taller Ejercicios Algoritmos usando ciclo For
Ejercicios Prácticos Especificación de algoritmos – Tablas de verdad. 1. Sean P, Q y R las proposiciones siguientes:
P = “Juan llega demasiado pronto” Q = “María llega demasiado tarde” R = “El jee se molesta” !radu"ca !radu"ca las siguientes oraciones oraciones a notaci#n l#gica utili"ando las letras P, Q, R y los conecti$os l#gicos% a) Si Juan llega demasiado pronto o María demasiado tarde, entonces el jee se molesta% (p ˅ q) → r p ! ! ! !
q ! ! ! !
r ! ! ! !
p &q ! !
(p ˅ q) → r
! ! !
b) Si María llega demasiado tarde, entonces Juan no llega demasiado pronto% q→ "p
p ! !
q ! !
"p ! !
q → "p !
c) ' el jee se molesta o María no llega demasiado tarde% r ˅ "q q r "q r ˅"q ! ! ! ! ! ! ! ! ! ! d) María llega demasiado tarde, Juan llega demasiado pronto y el jee se molesta (p˅q) →r
p ! ! ! !
q ! ! ! !
r ! ! ! !
p &q ! !
(p ˅ q) → r
! ! !
e) Si el jee no se molesta, entonces Juan no llega demasiado pronto y María no llega demasiado tarde
"r → "(p ˄ q) P
q
r
"r p ˄ q
-(p ˄ q)
-r → -(p ˄ q)
! ! ! !
! ! ! !
! ! ! !
! ! ! !
! ! ! ! ! !
! ! ! ! ! !
! ! ! ! !
f) ' María no llega demasiado tarde o Juan llega demasiado pronto%
g) Si María no llega demasiado tarde y Juan no llega demasiado pronto, entonces el jee no se molesta% "(p ˄ q) → "r
P
q
r
"r p ˄ q
-(p ˄
"(p ˄ q) → "r
q) ! ! ! !
! ! ! !
! ! ! !
! ! ! !
! ! ! ! !
! ! ! ! ! !
! ! ! v !
#) )lue$e y las *rujas no se peinan o *ien +ace sol y las *rujas no se peinan
$. (-p . /0 $ (p 1 /02 3 (-p . /0 $ -p 2 4ndi/ue si es 5ontradicci#n, !autología o contingencia% p
q
"p
(%p ∨ q)
! !
! !
! !
(p ∧ q) ! ! Tatologa
& (%p ∨ q) v (p ∧ q)' v
& (%p ∨ q) v %p '
[ (¬p ∨ q) v (p ∧ q)] →[ (¬p ∨ q) v ¬p ]
*. Si p es 6 y / es 7, determínese el $alor de $erdad de (-p $ -/0 8 (-p $ -/ 3 p0 p
q
"p
! ! ! ! Tatologa
"q ! ! ! !
(¬p v ¬q)
(¬p v ¬q → p)
(¬p v ¬q) ↔ (¬p v ¬q → p)
+. % Resuel$a los siguientes ejercicios, aplicando los pasos para resol$er un pro*lema a tra$9s de algoritmos, de*e disear la soluci#n en diagrama de ;ujo y pseudocodigo%
