Hola:
En este curso:
- el para todo con techo tiene el significado tradicional conocido.
- el para todo sin techo es meramente un símbolo que forma parte de un Vocabulario que a su vez nos permite definir un lenguaje de primer orden. Todo esto se ve en la segunda parte del curso.
De momento, podés ignorar el techo y considerarlo como un para todo con su interpretación tradicional.