- Individuenkonstanten: a,b,c,...
Bsp.: klaus, uta, anja,...
- logische Prädikate: F, G, H,...
Bsp.: SINGEN, TANZEN, SEHEN FRAU, BAUM GROß, SCHÖN,...
Beispiele:Anja singt. | SINGEN(anja) | F(a) | Uta ist eine Frau. | FRAU(uta) | F(a) | Klaus ist schön. | SCHÖN(anja) | F(a) | Martin sieht Anja. | SEHEN(martin,anja) | F(a,b) | Wenn Lars singt, lacht Uli. | SINGEN(lars -> LACHEN(uli) | F(a) -> G(b) | ... | | |
Zum Sinn von Formalisierungen: Ein Beispiel zur Diskussion1 | Uta ist größer als Stefan. | Stefan ist größer als Karen. | Also:
![](uploads/RTEmagicC_dbd57e1fe7.jpg.jpg) | Uta ist größer als Karen. |
2 | Ein Käsesandwich ist besser als nichts. | Nichts ist besser, als ein glückliches, erfülltes Leben. | Also:
![](uploads/RTEmagicC_e1cb451a07.jpg.jpg) | Ein Käsesandwich ist besser als ein glückliches, erfülltes Leben. |
Intuition contra Logik:
Hier hilft die prädikatenlogische Analyse!
Steffi liebt Klaus. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | LIEBEN(steffi,klaus) | Uli ist Sängerin. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | SÄNGERIN(uli) | Uta spricht über Lars. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | SPRECHEN_ÜBER(uta,lars) | Steffi ist klug. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | KLUG(steffi) | Wenn Anja ihn anruft, ist Paul froh. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | ANRUFEN(anja,paul) -> FROH(paul) | Anja kennt Paul. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | KENNEN(anja,paul) | Anja kennt Paul nicht. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | ![](uploads/RTEmagicC_b8f61c70aa.gif.gif) KENNEN(anja,paul) | Uli ist sportlich. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | SPORTLICH(uli) | Anja trifft Kai. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | TREFFEN(anja,kai) | Max ist ein Dackel. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | DACKEL(max) | Kai lacht. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | LACHEN(kai) | Wenn Kai nicht singt, ist Uta froh, aber Stefan ärgerlich. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | ![](uploads/RTEmagicC_b8f61c70aa.gif.gif) SINGEN(kai) -> ( FROH(uta) /\ ÄRGERLICH(stefan) ) | Jo ist eine weiße Ratte. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | RATTE(jo) /\ WEIß(jo) | Karen mag Jens nicht. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | ![](uploads/RTEmagicC_b8f61c70aa.gif.gif) MÖGEN(karen,jens) |
|
![](fileadmin/template/main/images/shim.gif) |
|