Subido por Wilfredo Freites

RESPUESTAS DE EJERCICIOS PROPUESTOS UNIDAD III

Anuncio
RESPUESTAS DE EJERCICIOS PROPUESTOS UNIDAD III
CLASE 7
PARTE I: Evalué los siguientes argumentos utilizando el método de tabla de verdad
1. Si la carretera sigue mojada y la lluvia no se detiene entonces Javier no podrá venir al baile
de profondos para los bomberos. La lluvia no se detiene. Por lo tanto la carretera sigue
mojada y Javier no podrá venir al baile profondos de los bomberos
Solución:
a. Formulación del argumento
Premisa 1: [(a^~b) →~c]
Premisa 2: ~b
Conclusión: (a^~c)
Unión final: {{[(a^~b)→~c]^~b}→(a^~c)}
b. Tabla de verdad
a
V
V
V
V
F
F
F
F
b
V
V
F
F
V
V
F
F
c
V
F
V
F
V
F
V
F
~b
F
F
V
V
F
F
V
V
~c
F
V
F
V
F
V
F
V
(a^~b)
F
F
V
V
F
F
F
F
[(a^~b)→~c] {[(a^~b)→~c]^~b} (a^~c) {{[(a^~b)→~c]^~b}→(a^~c)}
V
F
F
V
V
F
V
V
F
F
F
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
F
F
V
V
F
F
c. Resultado
CONTINGENCIA: Argumento no Válido
2. Carlos y Andrés participaran en el evento si y solo si Teresa es una de las jurados. Teresa no
es una de las Jurados. Por consiguiente, Carlos y Andrés no participaran en el evento
Solución:
a. Formulación del argumento
Premisa 1: [(p^q) ↔r]
Premisa 2: ~r
Conclusión: (~p^~q)
Unión final: {{[(p^q)↔r]^~r}→(~p^~q)}
b. Tabla de verdad
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
~p
F
F
F
F
V
V
V
V
~q
F
F
V
V
F
F
V
V
~r
F
V
F
V
F
V
F
V
(p^q)
V
V
F
F
F
F
F
F
[(p^q)↔r]
V
F
F
V
F
V
F
V
{[(p^q)↔r]^~r}
F
F
F
V
F
V
F
V
(~p^~q) {{[(p^q)↔r]^~r}→(~p^~q)}
F
V
F
V
F
V
F
F
F
V
F
F
V
V
V
V
Resultado
CONTINGENCIA: Argumento no Válido
PARTE II: Evalué los siguientes argumentos utilizando el método abreviado
1.- {{[(p^q)→(r^s)]^[(rvq)^(mvt)]}^{[(t^p)^(svm)]^(q↔s)}}→~(m^t)
{{[( p ^ q )→( r ^ s )]^[( r v q )^( m v t )]}^{[( t ^ p )^( s v m )]^( q ↔ s)}} → ~ (m ^
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
t)
V
ARGUMENTO NO VALIDO
2.- {{[e→(t^q)]^[(pvs)^(evs)]}^{[(t^p)^(s↔r)]^(q^r)}}→(q→e)
{{[ e
F
→ (t
V
^
q) ]^[( p
V
V
V
v
V
V
s) ^( e v
V
F
V
V
s)
V
]}^{[ (t ^
V
V
p) ^
V
(s
V
↔ r) ]^( q ^
V
V
V
V
r)
V
}}→ (q → e)
V
F
V
V
V
V
F
F
ARGUMENTO NO VALIDO
CLASE 8
Parte I: Ejercicios de aplicación:
1. Sea: P1: [(r ^ n) v (p → s)] y P2: ¬ (p → s) ¿Cuál sería la conclusión? Indique la ley que utilizo
[(r ^ n) v (p → s)]
¬ (p → s)
(r ^ n) CONCLUSION (LEY APLICADA SILOGISMO DISYUNTIVO)
2. Sea: P1: [(s → n) → (l v r)] y P2: ¬ (s→ n) ¿Cuál sería la conclusión? Indique la ley que utilizo
[(s → n) → (l v r)]
¬ (s→ n)
NO SE PUEDE CONCUIR NO HAY UNA LEY QUE SE PUEDA APLICAR
3. Sea: P1: [(a ^ b) → (c ^ d)] y P2: [(c ^ d) → (e ^ f)] ¿Cuál sería la conclusión? Indique la ley que
utilizo
[(a ^ b) → (c ^ d)]
[(c ^ d) → (e ^ f)]
[(a ^ b) →(e ^ f)] CONCLUSION (LEY APLICADA LEY DE TRANSITIVIDAD)
4. Sea: P1: [(r↔ s) → (p v q)] y P2: ¬ (p v q) ¿Cuál sería la conclusión? Indique la ley que utilizo
[(r↔ s) → (p v q)]
¬ (p v q)
(r↔ s) CONCLUSION (LEY APLICADA RAZONAMIENTO INDIRECTO)
5. Sea: P1: [(m ^ n) → (l v o)] y P2: (m ^ n) ¿Cuál sería la conclusión? Indique la ley que utilizo
[(m ^ n) → (l v o)]
(m ^ n)
(l v o) CONCLUSION (LEY APLICADA RAZONAMIENTO DIRECTO
Parte II: Demuestre la validez de los siguientes argumentos utilizando las leyes de aplicación:
1. {{[¬(p ^ q) → (r ^ m)] ^ [p→ (l→ m)]} ^ {[¬(r ^ m) ^ ¬(s ^ p)] ^ [¬m v (s ^ p)]}} → (¬l ^ q)
①
②
③
④
⑤
DESARROLLO
1.- [¬(p ^ q) → (r ^ m)]
2.- [p→ (l→ m)]
3.- ¬(r ^ m)
4.- ¬(s ^ p)
5.- [¬m v (s ^ p)]
1 Y 3 razonamiento indirecto
Ͱ
6.- (p ^ q)
7.- P
8.- q
9.- ¬m
10.- (l→ m)
11.- ¬l
12.- (q^¬l)
[¬(p ^ q) → (r ^ m)]
¬(r ^ m)
(p ^ q)
6 simplificación
(p ^ q)
P
q
5 Y 4 silogismo disyuntivo
[¬m v (s ^ p)]
¬(s ^ p)
¬m
2 Y 7 razonamiento directo
[p→ (l→ m)]
p
(l→ m)
10 Y 9 razonamiento indirecto
(l→ m)
¬m
¬l
8 y 12 conjunción
q
¬l
(q^¬l)
RESULTADO
(q^¬l) = (¬l ^ q) argumento válido (con ^ no importa el orden)
2. {{[p → (r v ¬q)] ^ [¬(m ^ b) → ¬r]} ^ {[ ¬(p ^ q) → (a ^ b)] ^ ¬(a ^ b)}} → ¬(m ^ b)
①
②
③
DESARROLLO
1.- [p → (r v ¬q)]
2.- [¬ (m ^ b) → ¬r]
3.- [¬ (p ^ q) → (a ^ b)]
4.- ¬(a ^ b)
5.- (p ^ q)
3 Y 4 razonamiento indirecto
[¬ (p ^ q) → (a ^ b)]
¬(a ^ b)
(p ^ q)
6.- P
5 simplificación
Ͱ
7.- q
(p ^ q)
P
q
8.- (r v ¬q)
1 Y 6 razonamiento directo
[p → (r v ¬q)]
p
(r v ¬q)
9.- r
8 Y 7 silogismo disyuntivo
(r v ¬q)
q
r
10.- (m ^ b)
2 Y 10 razonamiento indirecto
[¬ (m ^ b) → ¬r]
r
(m ^ b)
RESULTADO
(m ^ b) ≠ ¬(m ^ b)
argumento no válido
④
≠
CLASE 9
PARTE i: Dado los siguientes argumentos, elabore los contraejemplos que los invalide
1. Todos los ovíparos son aves
Los canarios son ovíparos
Por lo tanto los canarios son aves
CONTRAEJEMPLO
No todos los ovíparos son aves
La tortuga es ovípara
La tortuga no es ave
2.- Todo invertebrado es un insecto
Los zancudos son invertebrados
Por lo tanto el zancudo es un insecto
CONTRAEJEMPLO
No todo invertebrado es un insecto
Las medusas son invertebradas
Las medusas no son insectos
PARTE II: Dadas las siguientes expresiones simplifique
1. {[¬p ^ ( q v p)] → [ (p v q) v p]}→ (p v q)
DESARROLLO
{[( q^¬p) v (p^¬p)] → [ (p v p )v q]}→ (p v q) (distributiva y asociativa)
{[( q^¬p) v F] → [ p v q]}→ (p v q) (algebra e identidad)
{( q^¬p) → (p v q)}→ (p v q) (algebra)
{¬ ( q^¬p) v (p v q)}→ (p v q) (equivalencia del condicional)
{(¬q v p) v (p v q)}→ (p v q) (Morgan)
{(¬q v q) v (p v p)}→ (p v q) (asociativa)
{( V ) v p}→ (p v q) (algebra)
V → (p v q) (algebra)
¬V v (p v q) (equivalente al condicional)
F v (p v q) (negación)
(p v q) (Algebra)
ENTONCES
{[¬p ^ ( q v p)] → [ (p v q) v p]}→ (p v q) ES EQUIVALENTE A (p v q)
2. [(¬a v b) ^ a] ↔ [b ^ (a v b)]
DESARROLLO
[(¬a^ a) v (b^ a)] ↔ [(b)]
(distributiva y absorción)
[(F) v (b^ a)] ↔ [b] (algebra)
[ (b^ a)] ↔ [b] (algebra)
[ (b^ a) → b] ^ [b→ (b^ a)] (equivalente al bicondicional)
[¬ (b^ a) v b] ^ [¬b v (b^ a)] (equivalente al condicional)
[(¬b v ¬a) v b] ^ [(¬b v b) ^ (¬b v a)] (Morgan y distributiva)
[(¬b v b) v ¬a)] ^ [(V) ^ (¬b v a)] (asociativa y algebra)
[(V) v ¬a)] ^ [ (¬b v a)] (Algebra)
[(V)] ^ [ (¬b v a)] (Algebra)
(¬b v a) (Algebra)
ENTONCES
[(¬a v b) ^ a] ↔ [b ^ (a v b)] ES EQUIVALENTE A (¬b v a)
Descargar