Luego es posible definir la noción de verdad para una interpretación (para las "oraciones" de Q):