Dies ist eine statische Kopie unseres alten Forums. Es sind keine Interaktionen möglich.
This is a static copy of our old forum. Interactions are not possible.

snoopy

Junior Schreiberling

  • "snoopy" is male
  • "snoopy" started this thread

Posts: 146

Date of registration: Feb 29th 2004

Location: Hannover

Occupation: Informatik

1

Monday, May 30th 2005, 11:02am

Logik, Übung 7

Wenn ich bei der Skolenform die Existenzquantoren eleminiere, was mache ich, wenn ganz vorne einer steht.
Da es keinenen All-Q davor gibt, wird das dann zu einer nullstelligen Funktion, also einem Konstantensymvbol?

An alle die es gelöst haben, sind es 2 0-stellige, 1 2-stellige und 1 4-stellige Funktion die man einsetzte statt den Ex-Q?
  • Send private message

Joachim

Guru

  • "Joachim" is male

Posts: 2,863

Date of registration: Dec 11th 2001

Location: Hämelerwald

Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)

2

Monday, May 30th 2005, 11:05am

RE: Logik, Übung 7

Quoted

Original von snoopy
Wenn ich bei der Skolenform die Existenzquantoren eleminiere, was mache ich, wenn ganz vorne einer steht.
Da es keinenen All-Q davor gibt, wird das dann zu einer nullstelligen Funktion, also einem Konstantensymvbol?
Ja.
The purpose of computing is insight, not numbers.
– Richard Hamming, 1962
  • Send private message

htk

Erfahrener Schreiberling

Posts: 262

Date of registration: Oct 16th 2003

3

Monday, May 30th 2005, 9:19pm

RE: Logik, Übung 7

Quoted

Original von snoopy
An alle die es gelöst haben, sind es 2 0-stellige, 1 2-stellige und 1 4-stellige Funktion die man einsetzte statt den Ex-Q?

yo, hab ich auch so raus
surfs in mysterious ways
  • Send private message