Weihnachtsgruß: ∀x(L(x) ⇒ W(x))

Question

Frohe Weihnachten Frohe Weihnachten Frohe Weihnachten Frohe Weihnachten Frohe Weihnachten Frohe Weihnachten

Comments

Notation:
L(x)           x liest diese Nachricht
W(x)          x erhält den Gruß: Frohe Weihnachten!

:-)