Argumentos varios

Tenemos unos cuantos argumentos para que no sufran por causa del paro, traduzcan a lenguaje proposicional y demuéstrenlos.

1) Verlón el autómata.

Si Verlón es una máquina de Turing, es un autómata.

Si Verlón es una máquina de Turing, es un dispositivo hipotético.

Luego, si Verlón es una máquina de Turing, es un autómata y un dispositivo hipotético.

(Verlón es un amigo, si no saben qué es una máquina de Turing, averíguenlo, es interesantísimo)

2) Tomar acciones de conciencia social no excluye tener clases.

Si tomar acciones de conciencia social excluye tener clases, la comunidad académica sólo puede hacer una cosa a la vez.

Si la comunidad académica sólo puede hacer una cosa a la vez, la comunidad académica no trabaja ni realiza actividades extracurriculares.

De hecho la comunidad académica realiza actividades extracurriculares.

Luego, no es el caso que: tomar acciones de conciencia social excluya tener clases.

3) Imponer decisiones excluye actuar democráticamente

Imponer decisiones excluye actuar democráticamente.

Si actuamos democráticamente, se toma en cuenta a la comunidad.

No se ha tomado en cuenta a la comunidad.

Luego, decisiones han sido impuestas.

4) Por último, este que Clau se encontró en un parabús; este es bastante más interesante, piensen en la estructura que debería tener para ser un argumento válido y cuál sería su conclusión. (tip, puede haber premisas tácitas que necesiten hacerse explícitas)