Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015

Transcripción

1 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:-1 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana es una persona sana. 3. Por lo tanto, Rosana come una manzana al día. A Razonamiento válido por modus ponens universal. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre está inscrito en Lógica. 2. Rosana no está inscrita en Lógica. 3. Por lo tanto, Rosana no está en primer semestre. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana no es buena en Lógica. 3. Por lo tanto, Rosana no acreditó Discretas (aún). A Razonamiento válido por modus ponens universal. 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell no es un coche barato. 3. Por lo tanto, Turtle Shell es un buen coche. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprueba Discretas. 2. Rosana no es una estudiante dedicada. 3. Por lo tanto, Rosana reprobará Discretas. 6. Para el siguiente razonamiento indique su descripción: 1. En toda serie i=1 a i que converge, el término i-ésimo a i tiende a La serie i=1 b i converge. 3. Por lo tanto, su término i-ésimo b i tiende a cero. 7. Para la interpretación: D = {a,b,c} R V P a F T T b T F T c T F T Indique cuáles de las siguientes FBFs son válidas: 1) ( z, R(z)) ( z, V(z)) ( z, (R(z) V(z))) 2) ( z, (R(z) V(z))) ( z, R(z)) ( z, V(z)) 3) ( z, P(z)) ( z, P(z)) 4) ( z, (R(z) V(z))) ( z, R(z)) ( z, V(z))

2 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, (R(x) Q(x)) P 2 : P(a) Q(a) P 3 : R(a) C: P(a) 1. R(a)... hipótesis hipótesis modus ponens universal con 2 y 1 4. P(a) Q(a) 5. Q(a) P(a) 6. P(a)... Busque las opciones en la lista: 1. silog. disjuntivo con 5 y 3 2. hipótesis 2 3. Q(a) 4. prop. conmutativa en 4 5. x, (R(x) Q(x))

3 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:0 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana no come una manzana al día. 3. Por lo tanto, Rosana no es una persona sana. A Razonamiento válido por modus ponens universal. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre está inscrito en Lógica. 2. Rosana está inscrita en Lógica. 3. Por lo tanto, Rosana está en primer semestre. B Razonamiento válido por modus tollens universal. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana es buena en Lógica. 3. Por lo tanto, Rosana acreditó Discretas. 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell no es un coche barato. 3. Por lo tanto, Turtle Shell es un buen coche. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprueba Discretas. 2. Rosana reprobó Discretas. 3. Por lo tanto, Rosana no es una estudiante dedicada. 6. Para el siguiente razonamiento indique su descripción: 1. Si una serie i=1 a i converge entonces el término i- ésimo a i tiende a La serie i=1 b i no converge. 3. Por lo tanto, su término i-ésimo b i no tiende a cero. B Razonamiento válido por modus tollens universal. 7. Para la interpretación: D = {a,b,c} R P Q a F T T b T F T c T F T Indique cuáles de las siguientes FBFs son válidas: 1) ( w, R(w)) ( w, P(w)) ( w, (R(w) P(w))) 2) ( w, (R(w) P(w))) ( w, R(w)) ( w, P(w)) 3) ( w, (R(w) P(w))) ( w, R(w)) ( w, P(w)) 4) ( w, Q(w)) ( w, Q(w))

4 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, (Q(x) R(x)) P 2 : P(a) R(a) P 3 : Q(a) C: P(a) 1. Q(a) hipótesis 1 3. R(a) P(a) R(a) hipótesis prop. conmutativa en 4 6. P(a)... Busque las opciones en la lista: 1. silog. disjuntivo con 5 y 3 2. x, (Q(x) R(x)) 3. R(a) P(a) 4. hipótesis 3 5. modus ponens universal con 2 y 1

5 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:1 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana come una manzana al día. 3. Por lo tanto, Rosana es una persona sana. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre debe tomar Lógica. 2. Rosana es alumna de primer semestre. 3. Por lo tanto, Rosana debe tomar lógica. A Razonamiento válido por modus ponens universal. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana no es buena en Lógica. 3. Por lo tanto, Rosana no acreditó Discretas (aún). A Razonamiento válido por modus ponens universal. B Razonamiento válido por modus tollens universal. 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell es un buen coche. 3. Por lo tanto, Turtle Shell no es coche barato. A Razonamiento válido por modus ponens universal. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprueba Discretas. 2. Rosana reprobó Discretas. 3. Por lo tanto, Rosana no es una estudiante dedicada. 6. Para el siguiente razonamiento indique su descripción: 1. En toda serie i=1 a i que converge, el término i-ésimo a i tiende a La serie i=1 b i converge. 3. Por lo tanto, su término i-ésimo b i tiende a cero. 7. Para la interpretación: D = {a,b,c} P U S a T F T b F T T c T F T Indique cuáles de las siguientes FBFs son válidas: 1) ( x, (P(x) U(x))) ( x, P(x)) ( x, U(x)) 2) ( x, P(x)) ( x, U(x)) ( x, (P(x) U(x))) 3) ( x, (P(x) U(x))) ( x, P(x)) ( x, U(x)) 4) ( x, P(x)) ( x, U(x)) ( x, (P(x) U(x)))

6 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, (P(x) R(x)) P 2 : Q(a) R(a) P 3 : P(a) C: Q(a) hipótesis 3 2. x, (P(x) R(x)) 3. R(a) Q(a) R(a)... hipótesis 2 5. R(a) Q(a) silog. disjuntivo con 5 y 3 Busque las opciones en la lista: 1. modus ponens universal con 2 y 1 2. hipótesis 1 3. prop. conmutativa en 4 4. P(a) 5. Q(a)

7 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:2 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana no come una manzana al día. 3. Por lo tanto, Rosana no es una persona sana. A Razonamiento válido por modus ponens universal. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre está inscrito en Lógica. 2. Rosana está inscrita en Lógica. 3. Por lo tanto, Rosana está en primer semestre. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana no es buena en Lógica. 3. Por lo tanto, Rosana no acreditó Discretas (aún). 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell no es un coche barato. 3. Por lo tanto, Turtle Shell es un buen coche. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprueba Discretas. 2. Rosana no reprobó Discretas. 3. Por lo tanto, Rosana es una estudiante dedicada. 6. Para el siguiente razonamiento indique su descripción: 1. Si una serie i=1 a i converge, entonces el término i-ésimo a i tiende a En la serie i=1 b i el término i-ésimo tiende a Por lo tanto, esa serie converge. 7. Para la interpretación: D = {a,b,c} P V S a F T T b T F T c T F T Indique cuáles de las siguientes FBFs son válidas: 1) ( r, (P(r) V(r))) ( r, P(r)) ( r, V(r)) 2) ( r, S(r)) ( r, S(r)) 3) ( r, P(r)) ( r, V(r)) ( r, (P(r) V(r))) 4) ( r, P(r)) ( r, V(r)) ( r, (P(r) V(r)))

8 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, (R(x) P(x)) P 2 : Q(a) P(a) P 3 : R(a) C: Q(a) hipótesis 3 2. x, (R(x) P(x)) hipótesis 1 3. P(a) Q(a) P(a) prop. conmutativa en 4 6. Q(a)... Busque las opciones en la lista: 1. modus ponens universal con 2 y 1 2. hipótesis 2 3. R(a) 4. silog. disjuntivo con 5 y 3 5. P(a) Q(a)

9 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:3 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana come una manzana al día. 3. Por lo tanto, Rosana es una persona sana. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre debe tomar Lógica. 2. Rosana es alumna de primer semestre. 3. Por lo tanto, Rosana debe tomar lógica. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana es buena en Lógica. 3. Por lo tanto, Rosana acreditó Discretas. 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell no es un coche barato. 3. Por lo tanto, Turtle Shell es un buen coche. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprobará Discretas. 2. Rosana es una estudiante dedicada. 3. Por lo tanto, Rosana no reprobará Discretas. B Razonamiento válido por modus tollens universal. 6. Para el siguiente razonamiento indique su descripción: 1. En toda serie i=1 a i que converge, el término i-ésimo a i tiende a La serie i=1 b i converge. 3. Por lo tanto, su término i-ésimo b i tiende a cero. B Razonamiento válido por modus tollens universal. 7. Para la interpretación: D = {a,b,c} U R S a F T T b T F T c T F T Indique cuáles de las siguientes FBFs son válidas: 1) ( z, (U(z) R(z))) ( z, U(z)) ( z, R(z)) 2) ( z, S(z)) ( z, S(z)) 3) ( z, R(z)) ( z, R(z)) ( z, (U(z) R(z))) 4) ( z, U(z)) ( z, R(z)) ( z, (U(z) R(z)))

10 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, ( Q(x) R(x)) P 2 : x, (Q(x) P(x)) C: x, (R(x) P(x)) hipótesis 1 2. x, ( R(x) Q(x)) doble negación en hipótesis 2 5. x, (R(x) P(x))... Busque las opciones en la lista: 1. x, ( Q(x) R(x)) 2. x, (Q(x) P(x)) 3. transit. univ. 3 y 4 4. contrapositiva de 1 5. x, (R(x) Q(x))

11 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:4 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana no es una persona sana. 3. Por lo tanto, Rosana no come una manzana al día. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre debe tomar Lógica. 2. Rosana es alumna de primer semestre. 3. Por lo tanto, Rosana debe tomar lógica. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana no acreditó Discretas. 3. Por lo tanto, Rosana no es buena en Lógica. 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell no es un coche barato. 3. Por lo tanto, Turtle Shell es un buen coche. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprobará Discretas. 2. Rosana es una estudiante dedicada. 3. Por lo tanto, Rosana no reprobará Discretas. 6. Para el siguiente razonamiento indique su descripción: 1. En toda serie i=1 a i que converge, el término i-ésimo a i tiende a La serie i=1 b i converge. 3. Por lo tanto, su término i-ésimo b i tiende a cero. 7. Para la interpretación: D = {a,b,c} Q V R a T F T b F T T c T F T Indique cuáles de las siguientes FBFs son válidas: 1) ( w, Q(w)) ( w, V(w)) ( w, (Q(w) V(w))) 2) ( w, Q(w)) ( w, V(w)) ( w, (Q(w) V(w))) 3) ( w, (Q(w) V(w))) ( w, Q(w)) ( w, V(w)) 4) ( w, (Q(w) V(w))) ( w, Q(w)) ( w, V(w))

12 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, (Q(x) R(x) P(x)) P 2 : R(a) P 3 : P(a) C: Q(a) 1. R(a) hipótesis adición conjuntiva con 1 y 2 4. (R(a) P(a)) De Morgan en hipótesis modus tollens univ. con 5 y 4 Busque las opciones en la lista: 1. hipótesis 2 2. Q(a) 3. x, (Q(x) R(x) P(x)) 4. R(a) P(a) 5. P(a)

13 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:5 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana es una persona sana. 3. Por lo tanto, Rosana come una manzana al día. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre está inscrito en Lógica. 2. Rosana no está inscrita en Lógica. 3. Por lo tanto, Rosana no está en primer semestre. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana es buena en Lógica. 3. Por lo tanto, Rosana acreditó Discretas. 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell es un buen coche. 3. Por lo tanto, Turtle Shell no es coche barato. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprueba Discretas. 2. Rosana reprobó Discretas. 3. Por lo tanto, Rosana no es una estudiante dedicada. 6. Para el siguiente razonamiento indique su descripción: 1. En cada serie i=1 a i que converge, el término i-ésimo tiende a En la serie i=1 b i su término i-ésimo no tiende a Por lo tanto, la serie i=1 b i no converge. 7. Para la interpretación: D = {a,b,c} P V R a T F T b T F T c F T T Indique cuáles de las siguientes FBFs son válidas: 1) ( z, V(z)) ( z, V(z)) ( z, (P(z) V(z))) 2) ( z, (P(z) V(z))) ( z, P(z)) ( z, V(z)) 3) ( z, P(z)) ( z, V(z)) ( z, (P(z) V(z))) 4) ( z, P(z)) ( z, V(z)) ( z, (P(z) V(z)))

14 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, ( Q(x) R(x)) P 2 : x, (Q(x) P(x)) C: x, (R(x) P(x)) 1. x, ( Q(x) R(x)) x, ( R(x) Q(x)) doble negación en 2 4. x, (Q(x) P(x)) x, (R(x) P(x))... Busque las opciones en la lista: 1. transit. univ. 3 y 4 2. x, (R(x) Q(x)) 3. contrapositiva de 1 4. hipótesis 2 5. hipótesis 1

15 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:6 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana come una manzana al día. 3. Por lo tanto, Rosana es una persona sana. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre debe tomar Lógica. 2. Rosana es alumna de primer semestre. 3. Por lo tanto, Rosana debe tomar lógica. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana no es buena en Lógica. 3. Por lo tanto, Rosana no acreditó Discretas (aún). 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell no es un coche barato. 3. Por lo tanto, Turtle Shell es un buen coche. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprueba Discretas. 2. Rosana no reprobó Discretas. 3. Por lo tanto, Rosana es una estudiante dedicada. 6. Para el siguiente razonamiento indique su descripción: 1. Si una serie i=1 a i converge entonces el término i- ésimo a i tiende a La serie i=1 b i no converge. 3. Por lo tanto, su término i-ésimo b i no tiende a cero. 7. Para la interpretación: D = {a,b,c} R P Q a T F T b T F T c F T T Indique cuáles de las siguientes FBFs son válidas: 1) ( w, R(w)) ( w, P(w)) ( w, (R(w) P(w))) 2) ( w, R(w)) ( w, P(w)) ( w, (R(w) P(w))) 3) ( w, P(w)) ( w, P(w)) ( w, (R(w) P(w))) 4) ( w, (R(w) P(w))) ( w, R(w)) ( w, P(w))

16 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, ( R(x) Q(x)) P 2 : x, (R(x) P(x)) C: x, (Q(x) P(x)) hipótesis contrapositiva de 1 3. x, (Q(x) R(x)) hipótesis transit. univ. 3 y 4 Busque las opciones en la lista: 1. x, (R(x) P(x)) 2. doble negación en 2 3. x, ( Q(x) R(x)) 4. x, ( R(x) Q(x)) 5. x, (Q(x) P(x))

17 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:7 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana no es una persona sana. 3. Por lo tanto, Rosana no come una manzana al día. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre está inscrito en Lógica. 2. Rosana no está en primer semestre. 3. Por lo tanto, Rosana no está inscrita en Lógica. A Razonamiento válido por modus ponens universal. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana no es buena en Lógica. 3. Por lo tanto, Rosana no acreditó Discretas (aún). 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell no es un coche bueno. 3. Por lo tanto, Turtle Shell es un coche barato. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprobará Discretas. 2. Rosana es una estudiante dedicada. 3. Por lo tanto, Rosana no reprobará Discretas. 6. Para el siguiente razonamiento indique su descripción: 1. Si una serie i=1 a i converge entonces el término i- ésimo a i tiende a La serie i=1 b i no converge. 3. Por lo tanto, su término i-ésimo b i no tiende a cero. 7. Para la interpretación: D = {a,b,c} S R Q a T F T b F T T c T F T Indique cuáles de las siguientes FBFs son válidas: 1) ( w, S(w)) ( w, R(w)) ( w, (S(w) R(w))) 2) ( w, (S(w) R(w))) ( w, S(w)) ( w, R(w)) 3) ( w, (S(w) R(w))) ( w, S(w)) ( w, R(w)) 4) ( w, R(w)) ( w, R(w)) ( w, (S(w) R(w)))

18 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, (R(x) Q(x)) P 2 : P(a) Q(a) P 3 : R(a) C: P(a) hipótesis 3 2. x, (R(x) Q(x)) modus ponens universal con 2 y 1 4. P(a) Q(a) prop. conmutativa en 4 6. P(a)... silog. disjuntivo con 5 y 3 Busque las opciones en la lista: 1. Q(a) P(a) 2. hipótesis 2 3. hipótesis 1 4. R(a) 5. Q(a)

19 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:8 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana come una manzana al día. 3. Por lo tanto, Rosana es una persona sana. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre está inscrito en Lógica. 2. Rosana está inscrita en Lógica. 3. Por lo tanto, Rosana está en primer semestre. B Razonamiento válido por modus tollens universal. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana acreditó Discretas. 3. Por lo tanto, Rosana es buena en Lógica. A Razonamiento válido por modus ponens universal. 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell es un buen coche. 3. Por lo tanto, Turtle Shell no es coche barato. A Razonamiento válido por modus ponens universal. B Razonamiento válido por modus tollens universal. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprueba Discretas. 2. Rosana reprobó Discretas. 3. Por lo tanto, Rosana no es una estudiante dedicada. 6. Para el siguiente razonamiento indique su descripción: 1. Si una serie i=1 a i converge, entonces el término i-ésimo a i tiende a En la serie i=1 b i el término i-ésimo tiende a Por lo tanto, esa serie converge. 7. Para la interpretación: D = {a,b,c} R V P a T F T b T F T c F T T Indique cuáles de las siguientes FBFs son válidas: 1) ( r, (R(r) V(r))) ( r, R(r)) ( r, V(r)) 2) ( r, P(r)) ( r, P(r)) 3) ( r, R(r)) ( r, V(r)) ( r, (R(r) V(r))) 4) ( r, R(r)) ( r, V(r)) ( r, (R(r) V(r)))

20 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, (R(x) P(x) Q(x)) P 2 : P(a) P 3 : Q(a) C: R(a) hipótesis 2 2. Q(a) P(a) Q(a)... adición conjuntiva con 1 y 2 4. (P(a) Q(a)) x, (R(x) P(x) Q(x)) modus tollens univ. con 5 y 4 Busque las opciones en la lista: 1. R(a) 2. P(a) 3. hipótesis 3 4. De Morgan en 3 5. hipótesis 1

21 Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:9 1. Para el siguiente razonamiento indique su descripción: 1. Toda persona sana come una manzana al día. 2. Rosana no come una manzana al día. 3. Por lo tanto, Rosana no es una persona sana. B Razonamiento válido por modus tollens universal. 2. Para el siguiente razonamiento indique su descripción: 1. Todo alumno de primer semestre está inscrito en Lógica. 2. Rosana no está en primer semestre. 3. Por lo tanto, Rosana no está inscrita en Lógica. 3. Para el siguiente razonamiento indique su descripción: 1. Para todo alumno x, si x acreditó Discretas entonces x es bueno en Lógica. 2. Rosana acreditó Discretas. 3. Por lo tanto, Rosana es buena en Lógica. 4. Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell es un coche barato. 3. Por lo tanto, Turtle Shell no es un buen coche. 5. Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprobará Discretas. 2. Rosana es una estudiante dedicada. 3. Por lo tanto, Rosana no reprobará Discretas. B Razonamiento válido por modus tollens universal. 6. Para el siguiente razonamiento indique su descripción: 1. Si una serie i=1 a i converge, entonces el término i-ésimo a i tiende a En la serie i=1 b i el término i-ésimo tiende a Por lo tanto, esa serie converge. 7. Para la interpretación: D = {a,b,c} S R P a T F T b T F T c F T T Indique cuáles de las siguientes FBFs son válidas: 1) ( y, (S(y) R(y))) ( y, S(y)) ( y, R(y)) 2) ( y, (S(y) R(y))) ( y, S(y)) ( y, R(y)) 3) ( y, S(y)) ( y, R(y)) ( y, (S(y) R(y))) 4) ( y, R(y)) ( y, R(y)) ( y, (S(y) R(y)))

22 TC1003, Tarea No 7: Argumentación en Lógica de Predicados, Tipo: En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, (Q(x) P(x) R(x)) P 2 : P(a) P 3 : R(a) C: Q(a) 1. P(a)... hipótesis hipótesis 3 3. P(a) R(a) De Morgan en 3 5. x, (Q(x) P(x) R(x)) modus tollens univ. con 5 y 4 Busque las opciones en la lista: 1. (P(a) R(a)) 2. Q(a) 3. adición conjuntiva con 1 y 2 4. hipótesis 1 5. R(a)