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 0-order 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..."