Teniendo en cuenta que «2 + 2 = 4» es verdadero, de (1) y (2), podemos obtener inferencias como las siguientes: