Forum: FPGA, VHDL & Co. Ein Problem bei einer Aufgabe der Quantoren-Logik


Ein Problem bei einer Aufgabe der Quantoren-Logik
von doppelc (Gast)

Lesenswert?
• ▲
▼ 
Hallo,
ich habe ein Problem beim Lösen der folgenden Aufgabe:

¬Λx(xεA→xεB) -||- Vx(xεA ^ ¬(xεB))

dabei soll ^ ein "und"-Zeichen sein...
mir geht es hauptsächlich um eine Lösungsstrategie...

bin dankbar für jede hilfe

Beitrag melden Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Markierten Text zitieren Antwort Antwort mit Zitat
Re: Ein Problem bei einer Aufgabe der Quantoren-Logik
von doppelc (Gast)

Angehängte Dateien:
Lesenswert?
• ▲
▼ 
oh ich sehe gerade, das geht so nicht... hier nochmal als .txt anhang...
hoffe das geht so

Beitrag melden Bearbeiten Löschen Markierten Text zitieren Antwort Antwort mit Zitat
Re: Ein Problem bei einer Aufgabe der Quantoren-Logik
von Winne (Gast)

Lesenswert?
• ▲
▼ 
Sorry aber bei alle Liebe vestehe ich noch nicht einmal die Aufgabe. Ich
sehe nur zuammenhangslos aneinander gereihte Therme verbunden mit
Operatoren,welche ich nochnicht einmal alle zuordnen kann. Eine Legende
mindestens der Operatoren währe sinnvoll wenn Dir irgendwer folgen
können soll und vielleicht irgend eine Erleuterung worum es überhaupt
geht.

Beitrag melden Bearbeiten Löschen Markierten Text zitieren Antwort Antwort mit Zitat
Thread beobachten | Seitenaufteilung abschalten
Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.