Gegeben ist die Formel p Ùq É p. Entscheiden Sie, ob die folgenden
Zeichenreihen Einsetzungen oder Ersetzungen in dieser
Ausgangsformel sind! Wenn das der Fall ist, schreiben Sie auf,
was wofür einge- bzw. ersetzt wurde.
q Ùq É q
A ÙB É A
p Ùq Ùq É p
(pÚr) Ùq É (pÚr)
p Ù( ~ qÚp)
Gegeben ist die Formel p Ùq É p. Bilden Sie die folgenden
Einsetzungen beziehungsweise Ersetzungen:
p Ùq É p{p/ p Ùr}
p Ùq É p[p / p Ùr]
p Ùq É p{p,q / (p Ùq), (r Ùq)
p Ùq É p[p Ùq / p Ùr]
p Ùq É p[q É p / p Ùr]
File translated from TEX by TTH, version 2.69.
On 1 Nov 2000, 17:29.