Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Bedeutung eines Symboles » Hallo Gast [Anmelden|Registrieren]
Letzter Beitrag | Erster ungelesener Beitrag Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen
Neues Thema erstellen Antwort erstellen
Zum Ende der Seite springen Bedeutung eines Symboles
Autor
Beitrag « Vorheriges Thema | Nächstes Thema »
romaen
Jungspund


Dabei seit: 18.03.2013
Beiträge: 15

Bedeutung eines Symboles Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Hallo!

Könnte mir jemand erklären was dieses Symbol bedeutet (siehe Symbol1.jpg).

Anbei sind auch noch drei Beispiele, bei denen das Symbol vorkommt.


Falls mir jemand weiterhelfen könnte wäre ich wirklich sehr sehr dankbar.

Vielen Dank
Roman

romaen hat dieses Bild (verkleinerte Version) angehängt:
Symbol.jpg

romaen hat dieses Bild angehängt:
Symbol1.jpg

Dieser Beitrag wurde 3 mal editiert, zum letzten Mal von romaen: 04.11.2013 10:33.

04.11.2013 10:22 romaen ist offline Beiträge von romaen suchen Nehmen Sie romaen in Ihre Freundesliste auf
romaen
Jungspund


Dabei seit: 18.03.2013
Beiträge: 15

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Ich weiß, dass es sehr unhöflich ist und normalerweise auch nicht meine Art.
Aber da ich sehr unter Zeitdruck stehe wäre es echt super, falls jemand eine Ahnung hat, die mir so schnell wie möglich mit zu teilen.

Danke, bitte nicht falsch verstehen!
04.11.2013 10:36 romaen ist offline Beiträge von romaen suchen Nehmen Sie romaen in Ihre Freundesliste auf
Ich
unregistriert
Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

[latex] A \vdash B[/latex]
Das kann man mit "B ist aus A ableitbar" übersetzen.
04.11.2013 11:42
romaen
Jungspund


Dabei seit: 18.03.2013
Beiträge: 15

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Schon mal vielen Dank für deine Antwort!

Könntest du mir vllt. auch noch ein Beispiel versuchen zu erklären?

Ich versteh nicht ganz in wie fern (egal in welchem Beispiel), B von A ableitbar ist, bzw. P von Q

Vielen Dank!
04.11.2013 12:06 romaen ist offline Beiträge von romaen suchen Nehmen Sie romaen in Ihre Freundesliste auf
Karlito Karlito ist männlich
Kaiser


Dabei seit: 11.04.2011
Beiträge: 1.461

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Hallo,

nehmen wir doch als Beispiel die Aufgabe 10. Wir wissen, dass Erich krank ist wenn es regnet. Es ist also möglich abzuleiten, dass wenn es regnet, Erich krank ist.
Dahingegen haben wir keinerlei Aussage, was passiert, wenn es nicht regnet. Dann kann Erich krank sein oder auch nicht. Somit lässt es sich aus dem uns zur Verfügung stehenden Wissen nicht ableiten, dass Erich nicht krank ist, wenn es nicht regnet.

VG,

Karlito
05.11.2013 14:47 Karlito ist offline E-Mail an Karlito senden Beiträge von Karlito suchen Nehmen Sie Karlito in Ihre Freundesliste auf
DaveK
Grünschnabel


Dabei seit: 31.03.2016
Beiträge: 3

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Kann man das Erich Bsp. mit einer Wahrheitstabelle zeigen?
Ich verstehe nicht wie man einfach so darauf schließt.
Hoffentlich antwortet jem. noch nach 2 Jahren smile
31.03.2016 10:31 DaveK ist offline Beiträge von DaveK suchen Nehmen Sie DaveK in Ihre Freundesliste auf
eulerscheZahl eulerscheZahl ist männlich
Foren Gott


Dabei seit: 04.01.2013
Beiträge: 2.859

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Das ist eine Implikation
code:
1:
2:
3:
4:
5:
Regen | Krank | Aussage
  0   |   0   |    1 (kann sein, dass er gesund ist)
  0   |   1   |    1 (kann auch sein, dass er trotzdem krank ist)
  1   |   0   |    0
  1   |   1   |    1  


__________________
Syntax Highlighting fürs Board (Link)
31.03.2016 10:39 eulerscheZahl ist offline Beiträge von eulerscheZahl suchen Nehmen Sie eulerscheZahl in Ihre Freundesliste auf
DaveK
Grünschnabel


Dabei seit: 31.03.2016
Beiträge: 3

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

vielen dank
damit ich es richtig verstehe heißt das:
weil in Zeile 2 und 3 die werte der Aussage 1 sind,
ist die Behauptung ein Trugschluss
Wäre nur eine der beiden Zeilen 1 dann folgt das die Behauptung stimmen würde.

Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von DaveK: 31.03.2016 11:02.

31.03.2016 10:58 DaveK ist offline Beiträge von DaveK suchen Nehmen Sie DaveK in Ihre Freundesliste auf
eulerscheZahl eulerscheZahl ist männlich
Foren Gott


Dabei seit: 04.01.2013
Beiträge: 2.859

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Es wird nur eine Aussage darüber getroffen, was bei Regen passiert.
Sonnenschein ist nicht abgedeckt, daraus kannst du folgern, was du willst (falls du Langeweile hast: ex false quodlibet).

__________________
Syntax Highlighting fürs Board (Link)
31.03.2016 11:48 eulerscheZahl ist offline Beiträge von eulerscheZahl suchen Nehmen Sie eulerscheZahl in Ihre Freundesliste auf
DaveK
Grünschnabel


Dabei seit: 31.03.2016
Beiträge: 3

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

danke jetzt versteh ichs Daumen hoch
31.03.2016 14:37 DaveK ist offline Beiträge von DaveK suchen Nehmen Sie DaveK in Ihre Freundesliste auf
Baumstruktur | Brettstruktur
Gehe zu:
Neues Thema erstellen Antwort erstellen
Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Bedeutung eines Symboles