La proposición "P(l)" en este ejemplo es que EQ es verdadero cualquiera sea la lista "L" como valor del "l".