Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Bergische Universitt Wuppertal Fachbereich C ---Mathematik und Naturwissenschaften
 

Summary: Bergische Universität Wuppertal
Fachbereich C --- Mathematik und Naturwissenschaften
Dr. Holger Arndt, Dipl.­Inf. Paul Willems
Einführung in die Informatik
(Informatik I --- Teil A)
ommersemester
4. Übungsblatt
Aufgabe 10 Prädikatenlogik, + + = Punkte
a De nieren ie unter erwendung der A iome und Prädikate aus Beispiel . der orlesung
die weiteren Prädikate
ochter(x,y) x ist ochter von y
chwester(x,y) x ist Halb­ oder echte chwester von y
Urgro mutter(x,y) x ist Urgro mutter von y
Min­ ­ (x) x hat oder mehr inder
b egeben sei die Menge N der nat rlichen ahlen ohne als Individuenbereich, und bekannt
seien unächst ausschlie lich die Prädikate < und = als A iome mit eweils naheliegender
Bedeutung .
. De nieren ie ohne Verwendung einer Konstanten aus N ein Prädikat ins(x), welches
genau dann wahr sein soll wenn x = gilt.
. De nieren ie Prädikate Inc(x,y) und Dec(x,y), welche genau dann wahr sein sollen,

  

Source: Arndt, Holger - Fachgruppe Mathematik, Fachbereich Mathematik-Naturwissenschaften, Bergische Universität Wuppertal

 

Collections: Computer Technologies and Information Sciences