En lóxica proposicional magar nun hai signos pa variables de tipo entidá, sí esisten signos pa variables proposicionales (esto ye, que pueden ser interpretaes como proposiciones con un valor de verdá definíu), d'ende'l nome proposicional.