Logik

für die Formel

P(z())→((∀x : (P(x)→P(s(x))))→(∀x : P(x)))

• zeichnen Sie den Formelbaum,

  markieren Sie für jeden Teilbaum, ob er Term oder Formel ist

• geben Sie die Signatur an
• geben Sie je eine Struktur mit einem Universum der Größe 2 an, in der die Formel
  • wahr ist,
  • falsch ist