Si hubiéramos definido el predicadoP(x) (para “xestá en mi bolsillo”) en lugar del conjunto correspondienteP, habríamos necesitado traducir como\(\forall x, \bigl( P(x) \implies D(x) \bigr...Si hubiéramos definido el predicadoP(x) (para “xestá en mi bolsillo”) en lugar del conjunto correspondienteP, habríamos necesitado traducir como∀x,(P(x)⟹D(x)): es decir, “para cualquier moneda, si está en mi bolsillo, entonces es una moneda de diez centavos”. Ya que la aseveración se trata de monedas que están a la vez en mi bolsillo y que son monedas de diez centavos, podría ser tentador traducirlas usando\eand.
