Prädikatenlogik/Symbolerweiterung/Widersprüchlich/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Symbolalphabete und seien die zugehörigen Sprachen Es sei eine Ausdrucksmenge.

  1. sei widerspruchsfrei. Ist dann auch , aufgefasst in , widerspruchsfrei?
  2. sei maximal widerspruchsfrei. Ist dann auch , aufgefasst in , maximal widerspruchsfrei?
Eine Lösung erstellen