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 demo