Semantik Prädikatenlogik < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Aufgabe | Ich muss für diese Formel angeben, ob sie eine Tautologie, eine Kontradiktion oder keines von beiden ist (also erfüllbar wäre)
[mm] \forall [/mm] x ( [mm] \exists [/mm] y (R(x,y) [mm] \wedge \neg [/mm] R (y,x))) |
Könnt ihr mir bitte helfen, wie ich sehe ob es eine Tautologie oder eine Kontradiktion ist ?
Eine Tautologie besteht dann, wenn die Formel "wahr" ist.
Eine Kontradiktion besteht dann, wenn es ein Widerspruch gibt.
Muss ich dir Formel übersetzen ? Oder sehe ich das auch mit "bloßem Auge " ?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
|
|
Hey,
könnt ihr bitte meinen Frage zum Forum "Prädikatenlogik" verschieben ?
Vielen Dank
|
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 09:00 Fr 30.01.2015 | Autor: | hippias |
Deine Fragen lassen sich sehr schwer beantworten. Ja, Du musst die Formeln uebersetzen (damit man sie versteht).
Gib' doch bitte die genauen Definitionen von Tautologie etc. an. Dann wirst Du sehen, was Du zu tun hast.
|
|
|
|
|
Genaue Definition von
Tautologie: ist [...] eine allgemein gültige Aussage, das heißt eine Aussage, die aus logischen Gründen immer wahr ist" (http://de.wikipedia.org/wiki/Tautologie_%28Logik%29)
Kontradiktion: "Kontradiktorisch (widersprüchlich) wird eine Beziehung zweier Aussagen genannt, bei der sowohl von der Wahrheit der einen Aussage auf die Falschheit der anderen geschlossen werden kann als auch von der Falschheit der einen Aussage auf die Wahrheit der anderen." (http://de.wikipedia.org/wiki/Kontradiktion)
Ich weiß, dass die Formel erfüllbar ist, jedoch ist mir nicht klar wie ich das überprüfe. Außerdem weiß ich nicht, was mit der zugehörigen SIgnatur [mm] R^{2} [/mm] zu bedeuten hat.
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 14:20 Do 12.02.2015 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 02:20 Sa 31.01.2015 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|