Está en la página 1de 25

Asignatura Datos del alumno Fecha

ALMAZÁN GUTIÉRREZ, ANDER


BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

Actividades

Actividad grupal: Formalización, deducción y semántica en


lógicas de orden 0 y orden 1

Objetivos

Con esta actividad vas a conseguir profundizar en la deducción de la lógica natural de


enunciados, así como de su semántica. También aprenderás a formalizar enunciados en
lógica preposicional

Descripción de la actividad

1. Deduce los siguientes argumentos utilizando únicamente las reglas básicas del cálcu-
lo de deducción natural de enunciados.

1. –1 s  t ├r
–2 t  r
–3 s

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

2. –1 s  t ├sq
–2 t  w  q
–3 w  p
–4 p  q

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

3. –1 t  (p  (s  r)) ├ p  (s  (t  r))

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

4. –1 t  (p  s)  (s  ¬r) ├ ¬(p  q)  (s  ¬r)

–2 (¬s  r)  (¬¬t  ¬(p  q))

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

5. –1 r  ¬s  (s  p)  (¬q  ¬t) ├rq


–2 s  q
–3 p  q

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

6. ├ (r  t)  (w ↔ s)
–1 r  t  p  q
–2 p  (w ↔ s)
–3 p  q  (r  s  t  m)
–4 (s  r  t  w)  p

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

7. ├ (p  q)  (q  r)  (p  r) (Este ejercicio no tiene premisas.


Solo tiene conclusión. Su resolución
es posible a pesar de esta
peculiaridad)

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

8. –1 (p  q  r)  (p  s  t) ├ r  (w  m)

–2 p  t
–3 s  t  q  (w  m)

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

9. –1 (r  ¬w)  (¬q  t) ├ ¬q  s  r
–2 ¬w  p
–3 t  m  s

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

10 –1 t  m ├ s  (w  t)
–2 t  p
–3 p  s
–4 m  q
–5 q  w  t

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

2. Realiza las tablas de verdad de las siguientes fórmulas:


A. (r  s) ¬r  s /TAUTOLOGÍA
r S (r  s) ¬r  s

V V V V V V F V V
V F V F F V F F F
F V F V V V V V V
F F F V F V V V F

B.¬ (r  s) ¬r ¬s /TAUTOLOGÍA

r S ¬ (r  s) ¬r ¬s

V V V F V F F F
V F F V V F V V
F V F V V V V F
F F F V V V V V

C. (p  q  r) ¬ (p  q  r)

P Q R (p  q  r) ¬ (p  q 
r)
V V V V V F F V V V
V V F V V F F V V F
V F V V V F F V V V
V F F V V F F V V F
F V V V V F F V V V
F V F V V F F V V F
F F V F V F F V F V
F F F F F V V F F F

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

D. p  q  r  s

P Q R S p  q
 r  s
V V V V V V V

V V V F V V V

V V F V V V V

V V F F V F F

V F V V F V V

V F V F F V V

V F F V F V V

V F F F F V F

F V V V F V V

F V V F F V V

F V F V F V V

F V F F F V F

F F V V F V V

F F V F F V V

F F F V F V V

F F F F F V F

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

3.Indicando como máximo el valor semántico de dos variables proposicionales, haz,


siempre y cuando sea posible, que el valor semántico de las siguientes fórmulas sea 1.
Razona tu respuesta haciendo uso exclusivamente de las reglas semánticas:
A.(p  q)  (r  s) → t
Esta fórmula es una contingencia ya que el resultado de la tabla son 0’s y 1’s.

(p  q) 
(p  (p  q) 
p q r s t (r  s) (r  s) →
q) (r  s)
t
0 0 0 0 0 0 0 0 1
0 0 0 0 1 0 0 0 1
0 0 0 1 0 0 1 0 1
0 0 0 1 1 0 1 0 1
0 0 1 0 0 0 1 0 1
0 0 1 0 1 0 1 0 1
0 0 1 1 0 0 1 0 1
0 0 1 1 1 0 1 0 1
0 0 0 0 0 0 0 0 1
0 0 0 0 1 0 0 0 1
0 0 0 1 0 0 1 0 1
0 0 0 1 1 0 1 0 1
0 0 1 0 0 0 1 0 1
0 0 1 0 1 0 1 0 1
0 0 1 1 0 0 1 0 1
0 0 1 1 1 0 1 0 1
0 1 0 0 0 1 0 0 1
0 1 0 0 1 1 0 0 1
0 1 0 1 0 1 1 1 0
0 1 0 1 1 1 1 1 1
0 1 1 0 0 1 1 1 0
0 1 1 0 1 1 1 1 1
0 1 1 1 0 1 1 1 0
0 1 1 1 1 1 1 1 1
0 1 0 0 0 1 0 0 1
0 1 0 0 1 1 0 0 1
0 1 0 1 0 1 1 1 0
0 1 0 1 1 1 1 1 1
0 1 1 0 0 1 1 1 0
0 1 1 0 1 1 1 1 1
0 1 1 1 0 1 1 1 0

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

0 1 1 1 1 1 1 1 1
1 0 0 0 0 1 0 0 1
1 0 0 0 1 1 0 0 1
1 0 0 1 0 1 1 1 0
1 0 0 1 1 1 1 1 1
1 0 1 0 0 1 1 1 0
1 0 1 0 1 1 1 1 1
1 0 1 1 0 1 1 1 1
1 0 1 1 1 1 1 1 0
1 0 0 0 0 1 0 0 1
1 0 0 0 1 1 0 0 1
1 0 0 1 0 1 1 1 0
1 0 0 1 1 1 1 1 1
1 0 1 0 0 1 1 1 0
1 0 1 0 1 1 1 1 1
1 0 1 1 0 1 1 1 0
1 0 1 1 1 1 1 1 1
1 1 0 0 0 1 0 0 1
1 1 0 0 1 1 0 0 1
1 1 0 1 0 1 1 1 0
1 1 0 1 1 1 1 1 1
1 1 1 0 0 1 1 1 0
1 1 1 0 1 1 1 1 1
1 1 1 1 0 1 1 1 0
1 1 1 1 1 1 1 1 1
1 1 0 0 0 1 0 0 1
1 1 0 0 1 1 0 0 1
1 1 0 1 0 1 1 1 0
1 1 0 1 1 1 1 1 1
1 1 1 0 0 1 1 1 0
1 1 1 0 1 1 1 1 1
1 1 1 1 0 1 1 1 0
1 1 1 1 1 1 1 1 1

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

B. (p  s)  (s  r)  (s  t)
Esta fórmula es una contingencia ya que el resultado de la tabla son 0’s y 1’s.

(p  s) 
(p  s) 
p s r t (p  s) (s  r) (s  t) (s  r) 
(s  r)
(s  t)
0 0 0 0 1 1 1 0 0
0 0 0 1 1 1 1 0 0
0 0 1 0 1 1 1 0 0
0 0 1 1 1 1 1 0 0
0 1 0 0 1 0 1 0 0
0 1 0 1 1 0 1 1 1
0 1 1 0 1 1 1 0 0
0 1 1 1 1 1 1 1 1
0 0 0 0 1 1 1 0 0
0 0 0 1 1 1 1 0 0
0 0 1 0 1 1 1 0 0
0 0 1 1 1 1 1 0 0
0 1 0 0 1 0 1 0 0
0 1 0 1 1 0 1 1 1
0 1 1 0 1 1 1 0 0
0 1 1 1 1 1 1 1 1
1 0 0 0 0 1 1 0 0
1 0 0 1 0 1 1 0 0
1 0 1 0 0 1 1 0 0
1 0 1 1 0 1 1 0 0
1 1 0 0 1 0 1 0 0
1 1 0 1 1 0 1 1 1
1 1 1 0 1 1 1 0 0
1 1 1 1 1 1 1 1 1
1 0 0 0 0 1 1 0 0
1 0 0 1 0 1 1 0 0
1 0 1 0 0 1 1 0 0
1 0 1 1 0 1 1 0 0
1 1 0 0 1 0 1 0 0
1 1 0 1 1 0 1 1 1
1 1 1 0 1 1 1 0 0
1 1 1 1 1 1 1 1 1

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

C. (p  s)  (p  t)  (s  t)  t
Esta fórmula es una tautología ya que el resultado de la tabla son solamente 1’s.

(p  s) 
(p  s) 
(p  t) 
p s t (p  s) (p  t) (s  t) (p  t) 
(s  t) 
(s  t)
t
0 0 0 0 1 1 0 1
0 0 1 0 1 1 0 1
0 1 0 1 1 0 0 1
0 1 1 1 1 1 1 1
1 0 0 1 0 1 0 1
1 0 1 1 1 1 0 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
0 0 0 0 1 1 0 1
0 0 1 0 0 1 0 1
0 1 0 1 1 0 0 1
0 1 1 1 1 1 1 1
1 0 0 1 0 1 0 1
1 0 1 1 1 1 0 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
0 0 0 0 1 1 0 1
0 0 1 0 1 1 0 1
0 1 0 1 1 0 0 1
0 1 1 1 1 1 1 1
1 0 0 1 0 1 0 1
1 0 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
0 0 0 0 1 1 0 1
0 0 1 0 1 1 0 1
0 1 0 1 1 0 0 1
0 1 1 1 1 1 1 1
1 0 0 1 0 1 0 1
1 0 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

D. (t  (s  r))  ((s  r)  q)
Esta fórmula es una contingencia ya que el resultado de la tabla son 0’s y 1’s.

(s  (t  (s  (t  (s  r)) 
t s r q ((s  r)  q)
r) r)) ((s  r)  q)
0 0 0 0 1 1 0 0
0 0 0 1 1 1 1 1
0 0 1 0 1 1 0 0
0 0 1 1 1 1 1 1
0 1 0 0 0 1 1 1
0 1 0 1 0 1 0 0
0 1 1 0 1 1 1 1
0 1 1 1 1 1 1 1
0 0 0 0 1 1 0 0
0 0 0 1 1 1 1 1
0 0 1 0 1 1 0 0
0 0 1 1 1 1 1 1
0 1 0 0 0 1 1 1
0 1 0 1 0 1 1 1
0 1 1 0 1 1 0 0
0 1 1 1 1 1 1 1
1 0 0 0 1 1 0 0
1 0 0 1 1 1 1 1
1 0 1 0 1 1 0 0
1 0 1 1 1 1 1 1
1 1 0 0 0 0 1 1
1 1 0 1 0 0 1 1
1 1 1 0 1 1 0 0
1 1 1 1 1 1 1 1
1 0 0 0 1 1 0 0
1 0 0 1 1 1 1 1
1 0 1 0 1 1 0 0
1 0 1 1 1 1 1 1
1 1 0 0 0 0 1 1
1 1 0 1 0 0 1 1
1 1 1 0 1 1 0 0
1 1 1 1 1 1 1 1

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

4.Demuestra la validez o no validez de los siguientes argumentos utilizando tablas


semánticas:

a. –1 p  q ├s

–2 q  s Podemos afirmar que el argumento


es Valido dado que SIEMPRE que
–3 p las premisas son todas verdaderas
(en una de las líneas de la tabla) la
conclusión SIEMPRE es
Verdadera. (No existe en las tablas
(p→q)^(q→s)^p → s ninguna conclusión falsa teniendo
V V V V todas las premisas verdaderas)

b. –1 s  t  q  r ├ ¬(q  r)

–2 ¬(s  t) Podemos afirmar que el argumento


es Invalido dado que SIEMPRE
que las premisas son todas
verdaderas (12 Verdaderas) la
conclusión NO SIEMPRE es
(s^t→qvr)^(~(s^t))→~(qvr) Verdadera (9 Falsas).

V (*12) V (*12) V (*3)


F (*9)

5.Formaliza los siguientes textos utilizando las letras predicativas y cons-


tantes de individuo que se indican para cada uno de ellos. Para cada enun-
ciado debes:

Justificar cuáles son las conectivas que aparecen.


Cuáles son los cuantificadores que aparecen.
Parafrasear la sentencia.
Dar la formalización.

A. Los pájaros no son mamíferos.

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

P: «... es pájaro».
M: «... es mamífero».

Utilizamos la conjunción ya que son dos categorías independientes (ser pájaro y no ser
mamífero). Por otro lado, utilizamos el cuantificador universal ya que se aplica para
todos los x, que son pájaros y no mamíferos.

Parafrasear: “Para todo x, x es pájaro y x no es mamífero”

B. No es cierto que los felinos no son mamíferos.


F: «... es felino».
M: «... es mamífero».

En este caso empleamos una conjunción puesto que unimos 2 categorías, la de ser
felino y la de ser mamífero. Podemos emplear el cuantificador existencial para expresar
que no hay ningún felino que no sea mamífero, aunque otra expresión equivalente
podría ser considerar el cuantificador universal para mostrar que todos los felinos son
mamíferos.

En el primer caso, al parafrasearla quedaría como “No existe ningún x tal que x sea
felino y x no sea mamífero, que sería más correcta que la posible alternativa, “Para todo
x, x es felino y x es mamífero”.

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

C. No hay ballenas que no sean gordas.


B: «... es ballena».
G: «... es gorda».

En este caso empleamos la conjunción para juntar 2 categorías, la de ser ballena y la


de ser gorda. En cuanto a cuantificadores, se emplea el cuantificador existencial ya
que se expresa que no existe ninguna ballena que no sea gorda.
Al parafrasearlo, quedaría así: “No existe un x tal que x sea ballena y x no sea gorda”,
es decir, “No existe una ballena que no sea gorda”

D. Lidia es amiga de al menos un madrileño.


a: «Lidia».
A: «… es amiga de…».
M: «… es madrileño».

En este caso empleamos la conjunción ya que se trata de dos categorías indepen-


dientes, la de ser madrileño y la de ser amiga de alguien. En cuanto a los cuantifica-
dores, se emplea el cuantificador existencial ya que se expresa que hay al menos uno
que sea amigo de Lidia.
Al parafrasearlo quedaría así: “Existe un y tal que y es madrileño y Lidia es amiga de
y”, de forma más simple quedaría como “Existe un madrileño tal que Lidia es su
amiga”.

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

E. Algunos españoles tienen amantes.


E: «… es español».
A: «… es amante de...».

En este caso utilizamos una conjunción para unir las categorías de ser español y ser
amante de alguien. En cuanto a cuantificadores, empleamos el cuantificador
existencial para expresar que hay al menos uno que tiene amante.
Al parafrasearlo nos quedaría como: “Existe un x tal que x es español e y es amante de
x”, o en lenguaje más cotidiano, “Existe un español que tiene amante”

F. Algunos españoles no tienen amantes.


E: «… es español».
A: «… es amante de...».

En este caso, al igual que en el anterior, utilizamos una conjunción para unir las
categorías de ser español y ser amante de alguien. En cuanto a cuantificadores,
empleamos el cuantificador existencial para expresar que hay al menos uno que no
tiene amante, el caso contrario al apartado anterior.
Parafrasear: “Existe un x tal que x es español e y no es amante de x”, o en lenguaje más
cotidiano, “Existe un español que no tiene amante”

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

G. Ana es la madre de María.


a: «Ana».
b: «María».
E: «... es la madre de...».

En este caso no tenemos que utilizar ni cuantificadores ni conectivas puesto que


tenemos una sola categoría, la de ser madre de alguien, y dos sujetos, a y b, que
pertenecen a esa categoría. Para parafrasearlo, diríamos que: “a es la madre de b”

H. Hay un edificio entre el ayuntamiento y la biblioteca.


a: «ayuntamiento».
b: «biblioteca».
S: «... esta entre… y...».

En este caso no tenemos que emplear conectivas ya que solo tenemos una categoría, la
de estar entre dos sitios. Podríamos haber empleado una categoría adicional, E(x),
para expresar que x es un edificio, pero no es necesaria. En ese caso sí habría que
emplear conectiva.
En cuanto a los cuantificadores, utilizamos el cuantificador existencial puesto que se
busca un x (edificio) que pertenezca a la categoría.
Por último, para parafrasearlo diríamos que “Existe un x tal que x está entre a y b”, o
simplificando, “Existe un x que está entre a y b”

I. Hay alguien de quien María no es enemiga.


a: «María».
A: «... es enemiga de...».

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

En este caso tampoco es necesario emplear conectivas puesto que solo hay una
categoría, la de ser enemiga de alguien. En cuanto a los cuantificadores empleamos
el cuantificador existencial para mostrar que hay al menos un sujeto del que no es
enemiga.
Para parafrasearlo, podría quedar como: “Existe un x tal que a no es enemiga de x”, o
en lenguaje más simplificado, “Existe un x del que a (María) no es enemiga (de x)”.

J. Si alguien es marciano entonces es amigo de alguien


M: «... es marciano».
A: «... es amigo de...».

En cuanto a las conectivas, utilizamos una implicación ya que el hecho de ser amigo
de alguien es consecuencia de ser marciano. Además, utilizamos el cuantificador
universal para mostrar que todos los marcianos tienen algún amigo.
Parafraseando, nos quedaría que “Para todo x, siendo x marciano, entonces existe un
y tal que x es amigo de y”, o “Para todo x marciano, entonces hay un y que es su
amigo”.

Rúbrica

Formalización,
deducción y
Puntuación
semántica en lógicas Peso
Descripción máxima
de orden 0 y 1
%
(puntos)
(valor real:
4 puntos)

Criterio 1 Ejercicio 1 3 30 %

Criterio 2 Ejercicio 2 1,5 15 %

Criterio 3 Ejercicio 3 1,5 15 %

Criterio 4 Ejercicio 4 1 10 %

Criterio 5 Ejercicio 5 3 30 %

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

10 100 %

Extensión máxima: puedes emplear tantas páginas como sean necesarias.

Organización y gestión de equipos

En el foro «Pregúntale al profesor» de la asignatura encontrarás un nuevo tema


específico para la organización de equipos donde el profesor explicará todos los
detalles.

Una vez cerrado el equipo de trabajo os podéis poner en contacto a través de vuestras
cuentas @comunidadunir.net y comenzar a trabajar. Puedes ampliar la información
sobre el trabajo en equipo, consultando los Tutoriales de trabajo en grupo.

IMPORTANTE: Aquellos estudiantes que no comiencen su trabajo dentro de


los 7 primeros días, contados a partir del día de inicio de la actividad, quedarán ex-
cluidos de la actividad, no pudiendo tomar parte en ella. Se trata de una actividad colabo-
rativa, por lo que unos estudiantes no pueden beneficiarse del trabajo que hayan realizado
sus compañeros.

Entrega de la actividad grupal

Al finalizar la actividad grupal, todos los miembros del equipo entregarán la misma
actividad a través del apartado «Envío de actividades» del aula virtual. El documento a
entregar debe ir nombrado así:
APELLIDO1_APELLIDO2_NOMBRE_Titulo_actividad (sin tildes ni apóstrofes ni
ningún otro carácter que pudiera resultar conflictivo).

Todos los miembros del equipo deben hacer la entrega en el aula virtual y
deben adjuntar el mismo documento.

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)


Asignatura Datos del alumno Fecha
ALMAZÁN GUTIÉRREZ, ANDER
BERDOMÁS PÉREZ, RAMÓN
Lógica
NAVARRO CUESTA, DAVID 05/05/2020
Computacional

Grupo 26

Indica en la actividad el nombre de todos los componentes del equipo y cumplimenta la


siguiente tabla de valoración individual:

Alumnos del Equipo 26:


ANDER ALMAZÁN GUTIÉRREZ
RAMÓN BERDOMÁS PÉREZ
DAVID NAVARRO CUESTA

Sí No A veces

Todos los miembros se han integrado al trabajo del grupo X

Todos los miembros participan activamente X

Todos los miembros respetan otras ideas aportadas X

Todos los miembros participan en la elaboración del informe X

Me he preocupado por realizar un trabajo cooperativo con mis


X
compañeros

Señala si consideras que algún aspecto del trabajo en grupo no


ha sido adecuado (puedes explicar el por qué en el siguiente
apartado)

TEMA 7 – Actividades © Universidad Internacional de La Rioja (UNIR)

También podría gustarte