Bedeutung eines log. Zeichens < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hallo liebes Forum,
ich habe eine - wahrscheinlich nicht besonders schlaue - Frage zu einem Zeichen für ein logischen Symbol. Die logische Konsequenz (oder besser Ableitbarkeit wird doch immer mit so einem umgekippten T dargestellt (wie hier http://de.wikipedia.org/wiki/Sequenzenkalk%C3%BCl ). Also z.B. für b ist logisch herleitbar aus a, kann man schreiben: a I- b (das I- soll das umgekippte T sein, tut mir Leid, dass ich es nicht anders schreiben kann, ich habe es auch in der Formeldatenbank nicht gefunden).
Nun habe ich in einer Definition Folgendes stehen:
"a1 -I I- a2", also das erste umgekippte T wird in die andere Richtung gekippt.
Was bedeutet das denn? Ich habe mir gedacht, dass es heißt, dass a1 aus a2 herleitbar ist und a2 aus a1, aber ich bin mir nicht sicher. Kann das stimmen?
Tut mir Leid, dass ich die zwei Zeichen nicht anders darstellen kann. Ich habe versucht danach zu googlen, aber das hat nichts gebracht, weil ich die Zeichen nicht darstellen kann. Ich wäre also für jede Hilfe sehr sehr dankbar!!
Viele Grüße,
Löwenzähnchen11
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 02:04 Do 21.06.2012 | | Autor: | reverend |
Hallo Löwenzahn11, ![[willkommenmr]](/images/smileys/willkommenmr.png "[willkommenmr]")
zu Deiner Frage kann ich nichts sagen, aber ich meine, die Zeichen gefunden zu haben. Hier der jeweilige Code:
\vdash ergibt [mm] \vdash
[/mm]
\dashv ergibt [mm] \dashv
[/mm]
Wenns nicht stimmt, seh ichs gleich und such weiter, bis ichs habe. Dann kann ich diese Mitteilung ja entsprechend editieren.
Grüße
reverend
|
|
|
| |
|
Vielen, vielen Dank! Genau das ist es! :)
Und die Bedeutungs die ich suche lautet also:
"a1 [mm] \dashv \vdash [/mm] a2".
Entspricht das "a2 ist die Konsequenz von a1 und a2 die Konsequenz von a1"?
Besten Dank für die Hilfe!
Löwenzahn11
|
|
|
| |
|
Hallo,
nachdem mir reverend die Codes für meine Zeichen geschrieben hat, habe ich danach gesucht und bin dann u.a. auf diese Seite gestoßen: http://www.proofwiki.org/wiki/Tautology_and_Contradiction
Also ist [mm] \dashv \vdash [/mm] tatsächlich das Zeichen für eine "Äquivalenz".
Das wollte ich nur noch schreiben, falls jemand einmal das gleiche Problem haben sollte. :)
Viele Grüße,
Löwenzahn11
PS:Meine Frage ist damit beantwortet, denke ich, aber ich weiß nicht, wie ich das einstellen kann?
|
|
|
|
