Por ejemplo, la proposición formula_40 es número primo par es verdadera, pues en el universo de los números reales, el único número primo par es el número 2.