Unterschied Aussagen-/Prädikatenlogik?

[steve]

Kann wer schlüssig und mit klaren, nicht nuschelnden worten erklären, was die Eigenschaften bzw. Unterschiede zwischen diesen beiden Logik-arten sind?

[Chuck]

naja ich war noch nie besonders gut im erklären aber ich werds mal versuchen :)

die prädikatenlogik würd ich als erweiterte aussagenlogik bezeichnen. es gibt neben den normalen und, oder, nicht ... auch noch prädikate mit denen man etwas über variablen eines datentyps aussagen kann. zb ist das gleichheitszeichen bei den natürlichen zahlen ein prädikat, welches true ist falls die 2 argumente gleich sind und false falls nicht.

weiters gibt es noch die 2 quantoren existiert und für alle mit denen eben all/existenzaussagen formuliert werden können