Suchwörter   (werden UND-verknüpft)
Keines der folgenden   keine eigenen Beiträge
Name des Autors 
resp. Themenstellers 

nur dessen Startbeiträge
auch in Antworten dazu
Forum 
 Suchrichtung  Auf  Ab Suchmethode  Sendezeit Empfehlungbeta [?]
       Die Suche erfolgt nach den angegebenen Worten oder Wortteilen.   [Suchtipps]

Link auf dieses Suchergebnis hier

Forum
Thema Eingetragen
Autor

Logik, Mengen & Beweistechnik
  
Thema eröffnet von: Ubik
Formalisierung  
Beitrag No.2 im Thread
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag2020-02-10
Ubik
 

Hallo StrgAltEntf,

galaktischen Dank für die praktisch instantane Antwort!


Ich verstehe dich richtig, dass die Konkunktion mit dem Allquantor für (y) das Ausrufezeichen neben dem Existenzquantor für (x) in meiner falschen Version ersetzt?

Ich würde aus rein ästhetischen Gründen, wenn dann der Rattenschwanz der Konjunktion für y wegfällt, das ! vorziehen, sofern diese Notationsweise zulässig (wenn auch möglicherweise ungebräuchlich ist).

Gruß aus dem Kontiunuum,

Ubik  


Logik, Mengen & Beweistechnik
  
Thema eröffnet von: Ubik
Formalisierung  
Themenstart
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag2020-02-09
Ubik
 

Liebe Matheplanetarier,

ich grüße euch vom Nachbarplaneten Philosophica und habe eine Frage an euch:

Wie lautet die prädikatenlogisch korrekte Formalisierung der Aussage:

»Es gibt genau ein x, für das gilt: (x = x) ∧ (x = ¬ x)«

Dass das formallogisch unsinnig ist, weiß ich natürlich; ich benötige die Formalisierung aber dennoch zu einem bestimmten Zweck.

Meine Version bisher:

∃!(x):A(x)für A:(x=x)∧(x  = ¬ x)

Ich habe zwar durchaus (in einem längst vergangenen Jahrtausend) Philosphie studiert mit heißem Bemühen, aber ach, die Tücken der Formalisierung...

Falls sich einer von euch Matroids die Mühe macht, wird die MACHT auf ewig mit ihr/ihm sein!

Vielen Dank im voraus, Ubik 😵
 
 [Anzahl der Suchergebnisse: 2]
Link auf dieses Suchergebnis hier

 
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2020 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]

used time 0.019106