Bearbeiten von „Liebesbrief“ (Absatz)

===Entwurf vom Typ „Mathematisch (Prädikatenlogik 1. Stufe)“:===
{|{{prettytable}} width=800
|
an
:::[[Daniela|Daniela Kamelinger]]
:::[[Sackgasse]] [[-1]]
:::[[4711]]0 [[Kamöln]]


Liebste(Daniela).

für alle x gilt: Zeit(x) &rarr; liebe (l) (ich,du,y)  <br />
existiert x,z: zeit(x) und ort (z) und treffen (t) (ich,du,y)?  <br />
zu sagen(du, ich) &rarr; freue(ich) <br />

'''Conclusio:''' <br />
∀ (z) → (l) ∧ (y) <br />
∃ (x) ∧ (z) → (t) ∧ (y) <br />
(y) = (y) ⇔ (f) <br />

Dein(Hans)
|}