El resultado de esta consulta es el conjunto de todas las tuplas t para las cuales la fórmula es verdadera.