www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast! [ einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Logik" - Resolution
Resolution < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Logik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Resolution: Erfüllbarkeit
Status: (Frage) beantwortet Status 
Datum: 14:36 Mi 06.01.2016
Autor: Bdck

Aufgabe
Reoslution einer Formel


Hallo!
Ich arbeite momentan an einer Aufgabe der Logikvorlesung und habe eine Frage bzgl. der Resolution einer Formel.
Und zwar: wenn bei der Resolution eine leere Menge entsteht bedeutet es ja, dass die Formel unerfüllbar ist.
Wenn nun aber keine leere Menge entsteht, ist die Formel dann automatisch erfüllbar?

LG

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
        
Bezug
Resolution: Antwort
Status: (Antwort) fertig Status 
Datum: 15:13 Mi 06.01.2016
Autor: Gonozal_IX

Hiho,

wenn keine leere Menge entsteht, endet das Verfahren doch nie. Letztendlich kannst du also keine Aussage darüber treffen.

Gruß,
Gono
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Logik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]