Ersetzung und Einsetzung

1. 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.

   1. q Ùq É q

   2. A ÙB É A

   3. p Ùq Ùq É p

   4. (pÚr) Ùq É (pÚr)

   5. p Ù( ~ qÚp)

2. Gegeben ist die Formel p Ùq É p. Bilden Sie die folgenden Einsetzungen beziehungsweise Ersetzungen:

   1. p Ùq É p{p/ p Ùr}

   2. p Ùq É p[p / p Ùr]

   3. p Ùq É p{p,q / (p Ùq), (r Ùq)

   4. p Ùq É p[p Ùq / p Ùr]

   5. p Ùq É p[q É p / p Ùr]