Una clase de sentencias se denomina funcional de verdad si cada uno de sus miembros lo es.