Prädikatenlogik/Symbolerweiterung/Widersprüchlich/Aufgabe

Es seien ${}S\subseteq S'$ 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