Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Grupo 26
Actividades
Objetivos
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
Grupo 26
2. –1 s t ├sq
–2 t w q
–3 w p
–4 p q
Grupo 26
3. –1 t (p (s r)) ├ p (s (t r))
Grupo 26
Grupo 26
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
Grupo 26
Grupo 26
8. –1 (p q r) (p s t) ├ r (w m)
–2 p t
–3 s t q (w m)
Grupo 26
9. –1 (r ¬w) (¬q t) ├ ¬q s r
–2 ¬w p
–3 t m s
Grupo 26
10 –1 t m ├ s (w t)
–2 t p
–3 p s
–4 m q
–5 q w t
Grupo 26
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
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
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
Grupo 26
(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
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
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
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
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
Grupo 26
a. –1 p q ├s
b. –1 s t q r ├ ¬(q r)
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.
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”.
Grupo 26
Grupo 26
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”
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”
Grupo 26
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”
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)”.
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 4 Ejercicio 4 1 10 %
Criterio 5 Ejercicio 5 3 30 %
Grupo 26
10 100 %
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.
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.
Grupo 26
Sí No A veces