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
> It's usually known in English as propositional calculus,
> although that
> has the disadvantage of potential confusion with differential and
> calculus, which is what people mean when they say "calculus" with no
> It's also called 0-order logic, as opposed to first order logic,
> prepositional calculus. First order logic allows quantification over
> objects, and second order logic allows quantification over sets of
Ah, now i get it (sort of).
What my class is in is First Order logic.