Hola.
Cuando definimos un lenguaje, siempre hay dos niveles: lenguaje y metalenguaje.
En el nuestro caso particular, el lenguaje es PROP: un conjunto inductivo que contiene elementos del conjunto que o son base o están compuestos por otros elementos del mismo conjunto.
En cambio, a nuestro metalenguaje, le podríamos llamar español "matematicoso" :-) o directamente, matemáticas. Este lenguaje es el que se usa para escribir todo el curso e incluso, el que se usa para escribir las reglas que definen PROP.
En PROP, lo más parecido a variables que tenemos, son las letras proposicionales. En la segunda parte del curso vamos a ver otro lenguaje que tiene propiamente variables.
Cuando hablamos de metavariables nos referimos a las variables que se usan, por ejemplo, en la definición de las reglas: (
etc). La metavariables, en general, representan elementos generales de algún conjunto (fórmulas de prop, elementos de 
, etc.).
Los dos tipos de variables, son bien diferentes: para las variables del lenguaje, hay una parte de la semántica que está dedicada a hacer algo con ellas sin embargo, para las metavariables, se usan "convenciones entre las personas" para entenderlas.
Saludos FDO.