Prädikatenlogik/Symbolerweiterung/Widersprüchlich/Aufgabe

Es seien $S\subseteq S^{\prime }$ Symbolalphabete und seien $L^S\subseteq L^{S^{\prime }}$ die zugehörigen Sprachen Es sei  $\Gamma \subseteq L^S$  eine Ausdrucksmenge.

1. $\Gamma$ sei widerspruchsfrei. Ist dann auch $\Gamma$, aufgefasst in $L^{S^{\prime }}$, widerspruchsfrei?
2. $\Gamma$ sei maximal widerspruchsfrei. Ist dann auch $\Gamma$, aufgefasst in $L^{S^{\prime }}$, maximal widerspruchsfrei?

Eine Lösung erstellen