Existenzquantor und Allquantor nebeneinander in Prädikatenlogik

Neue Frage »

Peter Mafia Auf diesen Beitrag antworten »
Existenzquantor und Allquantor nebeneinander in Prädikatenlogik
Hallo. Kann man in Prädikatenlogik zB

ExAy(...)

schreiben (E und A sollen umgedreht sein)? Ich habe eine Aufgabe in der gefragt ist, welche Probleme eine Formalisierung aufweisen könnte und neben der Großschreibung für freie Variablen/Konstanten frage ich mich, ob das gemeint sein könnte.
Math1986 Auf diesen Beitrag antworten »
RE: Existenzquantor und Allquantor nebeneinander in Prädikatenlogik
Die Schreibweise (und auch das umgekehrte) ist durchaus zulässig.
Dopap Auf diesen Beitrag antworten »



diese Schreibweise ist seltener, aber bei längeren Ausdrücken leichter zu lesen.
Was meinst du mit "Probleme bei der Formalisierung" ?
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »