Not logged in. · Lost password · Register

Matombo
Member since Aug 2014
30 posts
Subject: term vs prop
Weil ich das in der letzten übung falsch gemacht (und vermischt) hab: wo find ich denn nochmal die genaue definition von term und proposition?
ma0ho
Member since Jan 2017
12 posts
Folie 398. Terme sind, soweit ich das richtig gerafft hab, Funktionen, die ein Individuum liefern (z.b. father(X)) und Propositionen liefern einen Wahrheitswert (z.b. siblings(X,Y)).
Jazzpirate
Member since Oct 2016
803 posts
Terme sind, soweit ich das richtig gerafft hab, Funktionen, die ein Individuum liefern (z.b. father(X)) und Propositionen liefern einen Wahrheitswert (z.b. siblings(X,Y)).
Richtig. In einem Modell kann ich einen Term immer zu einem Element "ausrechnen". Rekursiv:
- Variablen und Konstanten (=0-stellige Funktionen) sind Terme,
- Wenn f ein n-stelliges Funktionssymbol ist und t1..tn sind Terme, dann ist f(t1,...,tn) ein Term.

Propositionen dagegen sind in einem Modell wahr oder falsch. Rekursiv:
- Wenn t1...tn Term sind und P ein n-stelliges Relationssymbol, dann ist P(t1,...,tn) eine Proposition,
- Negationen, Konjunktionen, Implikationen, etc von Propositionen sind wieder Propositionen,
- Forall x. \phi für eine Proposition \phi und eine Variable x ist eine Proposition (analog Exists).

In der Terminologie der slides sind sowohl Propositionen als auch Terme Formeln (die ist also auch prüfungsrelevant); ich finde das etwas verwirrend; in meiner Welt sind Terme halt Terme und Formeln sind Propositionen, aber so ist das halt ;-)

EDIT: Und hab's grad wieder durcheinandergewürfelt und Propositionen als Formeln bezeichnet :-D
This post was edited on 2017-02-08, 21:26 by Jazzpirate.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen