Lo que hacemos es escribir el argumento en forma de proposiciones.