This post has been edited 2 times, last edit by "brosi" (Feb 6th 2005, 7:30pm)
Senior Schreiberling
Date of registration: Jul 5th 2003
Location: Malaga
Occupation: Senior Cloud Solution Engineer bei Oracle
Quoted
Original von brosi
Hi!
Bei der Frage: alle Menschen sind sterblich außer Sokrates in der Probeklausur2, was ist das in der Lösung für ein Zeichen ('?'), ein not ?
Quoted
Warum nicht: AND NOT mensch(Sokrates)
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
FORALL x: mensch(x) AND NOT mensch(Sokrates) => sterblich(x)Quoted
Original von brosi
Bei der Frage: alle Menschen sind sterblich außer Sokrates in der Probeklausur2, was ist das in der Lösung für ein Zeichen ('?'), ein not ?
forall x: mensch(x) AND x ? Sokrates => sterblich(x)
Warum nicht: AND NOT mensch(Sokrates) ?