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)
----- Aussagenlogik/Formel ableiten (http://www.informatikerboard.de/board/thread.php?threadid=1242)


Geschrieben von starter58 am 11.07.2012 um 23:44:

  Aussagenlogik/Formel ableiten

Hallo, ich tue mich immer noch schwer beim aufstellen von Formeln mit Hilfe der Implikation.

Ich habe da mal folgendes Beispiel:
1) Wenn Jens Sorgen hat, fährt er ans Meer.
meine Formel: sorge -> meer

2) Wenn Jens ans Meer fährt, dann bekommt er gute Laune.
meine Formel: meer -> gute_laune

3) Wenn er gute Laune hat, schreibt er Lieder.
meine Formel: gute_laune -> lieder.


Was sagen die Experten dazu?
Gibt es vllt eine "Eselsbrücke", die ich mir dazu einhämmern sollte?


Danke,
Theo



Geschrieben von adramelec am 07.10.2012 um 23:20:

 

Aus meiner Sicht, alles richtig.

Sind aber auch sehr einfache Implikationen wo man nicht viel falsch machen kann.

Naja, Eselsbrücke.. Ich weiß nicht.

Das eine setzt halt das andere voraus.

Wenn er keine gute Laune hätte, würde er auch nicht ans Meer fahren.


Forensoftware: Burning Board, entwickelt von WoltLab GmbH