PROCESO DE LLENADO DE LA COCA-COLA.

Le explicare cómo es posible llenar de liquido la lata de la una industria refresquera.
Les hablare un poco de cómo es el procedimiento:
Primero es colocada la lata vacía y esta está siendo recorrida por una banda la cual siempre está en funcionamiento al llegar la lata a un laser, este detecta la presencia de la lata, activa el depósito el cual contiene liquido y se abre para llenar la botella de lata, y así obtener el producto final.

Proposiciones:

1) B: la banda transportadora de la lata funciona.
2) C: la lata esta sobre la banda.
3) D: el depósito (contenedor de liquido) funciona
4) L: el laser funciona
5) A: hay obtención del producto.

Demostración.

1: C → L
2: D Λ B
3: D→C
4: L→A
5: D (2, ley de adjunción)
6: B (2, ley de adjunción)
7: C (3,5 modo ponendum ponens)
8: L (1,7 modo ponundum ponens)
9: A (4,8 modo ponundum ponens) válido.