Asignatura Datos del alumno Fecha

Apellidos: Cubillos Fajardo

Lógica Computacional 18/SEP/2019
Nombre: Miguel Angel

Trabajo final. Lógica Computacional

1. Mediante el uso de las tablas de verdad, comprueba las siguientes tautologías:
A. Razonamiento indirecto o Modus Tollens: [(p→q)ꓥ ~q]→~p

p q ~p ~q p→q (p→q)ꓥ ~q [(p→q)ꓥ ~q]→~p

V V F F V F V

V F F V F F V

F V V F V F V

F F V V V V V
ES UNA TAUTOLOGÍA
B. Adición: p→(pvq)

p q pvq p→(pvq)

V V V V

V F V V

F V V V

F F F V
ES UNA TAUTOLOGÍA
C. Ley conmutativa: (pꓥq)↔(qꓥp)

p q pꓥq qꓥp (pꓥq)↔(qꓥp)

V V V V V
© Universidad Internacional de La Rioja (UNIR)

V F F F V

F V F F V

F F F F V
ES UNA TAUTOLOGÍA

Trabajo final 1
 Asignatura Datos del alumno Fecha
Apellidos: Cubillos Fajardo
Lógica Computacional 18/SEP/2019
Nombre: Miguel Angel

D. Transitividad: [(p→q)ꓥ (q→r)]→(p→r)

p q r p→q q→r (p→q)ꓥ (q→r) p→r [(p→q)ꓥ (q→r)]→(p→r)

V V V V V V V V

V V F V F F F V

V F V F V F V V

V F F F V F F V

F V V V V V V V

F V F V F F V V

F F V V V V V V

F F F V V V V V
ES UNA TAUTOLOGÍA

E. Switcheroo: (p→q) ↔ ((~p)vq)

p q ~p p→q (~p)vq (p→q) ↔ ((~p)vq)

V V F V V V

V F F F F V

F V V V V V

F F V V V V
ES UNA TAUTOLOGÍA
© Universidad Internacional de La Rioja (UNIR)

Trabajo final 2
 Asignatura Datos del alumno Fecha
Apellidos: Cubillos Fajardo
Lógica Computacional 18/SEP/2019
Nombre: Miguel Angel

2. En una encuesta practicada a 150 consumidores en cuanto a sus preferencias por

una bebida gaseosa de marca C, P, T, se recogieron los siguientes resultados:
A. 31 consumen T.
B. 12 consumen solo P.
C. 9 consumen solo T y P.
D. 28 no consumen estas marcas.
E. 11 consumen solo T y C.
F. 15 consumen C y P.
G. 9 consumen todas las marcas.
Con la información obtenida de la encuesta, construye el diagrama de Venn y
responde a lo siguiente:

C P 31 CONSUMEN T
NINGUNA 12 - 11 T y C
73 6
9 - 9 TyP
11 9 - 9 T, P y C
28
= 2 SOLO T
2

15 CONSUMEN C y P
T
- 9 T, P y C
= 6 SOLO C y P
150 TOTAL
- 28 NINGUNA
- 6 SOLO C y P
- 12 SOLO P
- 9 SOLO P y T
© Universidad Internacional de La Rioja (UNIR)

- 2 SOLO T
- 11 SOLO C y T
- 9 TODAS
= 73 SOLO C

Trabajo final 3
 Asignatura Datos del alumno Fecha
Apellidos: Cubillos Fajardo
Lógica Computacional 18/SEP/2019
Nombre: Miguel Angel

 ¿Cuantos consumen únicamente C?

Respuesta: 73 personas consumen solo C
 ¿Cuantos consumen P?
Respuesta: (12+6+9+9) = 36 personas consumen P
 ¿Cuantos consumen por lo menos dos de las marcas?
Respuesta: “por lo menos dos marcas” significa sumar todas las personas que
consumen 2 marcas, 1 marca y 0 marcas, esto es: 11+6+9+73+2+12+28=141
personas.
© Universidad Internacional de La Rioja (UNIR)

Trabajo final 4