Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Bedeutung eines Symboles (http://www.informatikerboard.de/board/thread.php?threadid=1686)

Geschrieben von romaen am 04.11.2013 um 10:22:

  Bedeutung eines Symboles

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


Geschrieben von romaen am 04.11.2013 um 10:36:

 

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!


Geschrieben von Ich am 04.11.2013 um 11:42:

 

[latex] A \vdash B[/latex]
Das kann man mit "B ist aus A ableitbar" übersetzen.


Geschrieben von romaen am 04.11.2013 um 12:06:

 

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!


Geschrieben von Karlito am 05.11.2013 um 14:47:

 

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


Geschrieben von DaveK am 31.03.2016 um 10:31:

 

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


Geschrieben von eulerscheZahl am 31.03.2016 um 10:39:

 

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


Geschrieben von DaveK am 31.03.2016 um 10:58:

 

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.


Geschrieben von eulerscheZahl am 31.03.2016 um 11:48:

 

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).


Geschrieben von DaveK am 31.03.2016 um 14:37:

 

danke jetzt versteh ichs Daumen hoch


Forensoftware: Burning Board, entwickelt von WoltLab GmbH