Re: Boolean Algebra (was: Re: Voiced Velar Fricative)
From:  Steg Belsky <draqonfayir@...> 
Date:  Friday, November 10, 2000, 13:48 
On Thu, 9 Nov 2000 23:47:48 0500 Dennis Paul Himes
<dennis@...> writes:
> It's usually known in English as propositional calculus,
> although that
> has the disadvantage of potential confusion with differential and
> integral
> calculus, which is what people mean when they say "calculus" with no
> modifier.
> It's also called 0order logic, as opposed to first order logic,
> a.k.a.
> prepositional calculus. First order logic allows quantification over
> objects, and second order logic allows quantification over sets of
> objects.

Ah, now i get it (sort of).
What my class is in is First Order logic.
Stephen (Steg)
"hypoth syllog..."