From: Mark A Biggar <mark.a.biggar@lmco.com>
Subject: Re: Operator precedence--was Re: Operators -> unit analysis
Date: 2000/01/14
Date: 2000-01-14T00:00:00+00:00 [thread overview]
Message-ID: <387F5D75.5F4E9C97@lmco.com> (raw)
In-Reply-To: 387A0865.A50A980F@lmco.com
"Howard W. LUDWIG" wrote:
>
> I have yet to see a logician write an expression with both "and" and "or"
> using infix notation without writing parentheses to indicate explicitly
> which is to be done first.
Then your blind. I's say that at least a plurality of logical formula seen
in published papers are in disjunctive normal form which assumes that "and"
(expressed as concatination) takes precedence over "or" (expressed as either
"v" or "+"
--
Mark Biggar
mark.a.biggar@lmco.com
next prev parent reply other threads:[~2000-01-14 0:00 UTC|newest]
Thread overview: 76+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-23 0:00 Ada Brijesh
1999-12-23 0:00 ` Ada reason67
1999-12-23 0:00 ` Ada Robert Dewar
2000-01-03 0:00 ` Ada Terry Sikes
2000-01-03 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Robert Dewar
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Robert A Duff
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Florian Weimer
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Brian Rogoff
2000-01-04 0:00 ` Ada Terry Sikes
2000-01-05 0:00 ` Operators -> unit analysis Charles Hixson
2000-01-05 0:00 ` Pat Rogers
2000-01-05 0:00 ` Charles Hixson
2000-01-05 0:00 ` Ted Dennison
2000-01-06 0:00 ` Charles Hixson
2000-01-06 0:00 ` Samuel T. Harris
2000-01-07 0:00 ` Robert Dewar
2000-01-07 0:00 ` Ted Dennison
2000-01-07 0:00 ` Brian Rogoff
2000-01-07 0:00 ` Robert A Duff
2000-01-07 0:00 ` Matthew Heaney
2000-01-08 0:00 ` Robert Dewar
2000-01-08 0:00 ` Robert A Duff
2000-01-10 0:00 ` Operator precedence--was " Howard W. LUDWIG
2000-01-14 0:00 ` Mark A Biggar [this message]
2000-01-05 0:00 ` Matthew Heaney
2000-01-05 0:00 ` Charles Hixson
2000-01-05 0:00 ` Hyman Rosen
2000-01-05 0:00 ` Matthew Heaney
2000-01-06 0:00 ` Robert Dewar
2000-01-06 0:00 ` Terry Sikes
2000-01-06 0:00 ` Robert A Duff
2000-01-07 0:00 ` Terry Sikes
2000-01-07 0:00 ` Brian Rogoff
2000-01-07 0:00 ` Ted Dennison
2000-01-07 0:00 ` Tucker Taft
2000-01-08 0:00 ` Robert Dewar
2000-01-10 0:00 ` Tucker Taft
2000-01-10 0:00 ` Florian Weimer
2000-01-04 0:00 ` Ada Richard D Riehle
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Richard D Riehle
2000-01-04 0:00 ` Ada Robert A Duff
2000-01-04 0:00 ` Ada Robert Dewar
2000-01-04 0:00 ` Ada Terry Sikes
2000-01-05 0:00 ` Ada Robert Dewar
2000-01-05 0:00 ` Ada Terry Sikes
2000-01-06 0:00 ` Ada Al Christians
2000-01-06 0:00 ` Ada Terry Sikes
2000-01-07 0:00 ` Ada Robert Dewar
1999-12-23 0:00 ` Ada Jon Jensen
1999-12-23 0:00 ` Ada Robert Dewar
1999-12-23 0:00 ` Ada tmoran
1999-12-23 0:00 ` Ada Roger Racine
1999-12-28 0:00 ` Ada Marin D. Condic
1999-12-31 0:00 ` Ada Richard D Riehle
2000-01-02 0:00 ` Ada Marin D. Condic
2000-01-02 0:00 ` Ada Robert Dewar
2000-01-02 0:00 ` Ada Marin D. Condic
2000-01-03 0:00 ` Ada Robert Dewar
2000-01-03 0:00 ` Ada Marin D. Condic
2000-01-03 0:00 ` Ada Roger Racine
2000-01-03 0:00 ` Ada Larry Kilgallen
2000-01-04 0:00 ` Ada Charles Hixson
2000-01-03 0:00 ` Ada Ted Dennison
2000-01-13 0:00 ` Ada Magnus Alexandersson
2000-01-13 0:00 ` Ada Magnus Alexandersson
2000-01-14 0:00 ` Ada Tarjei T. Jensen
2000-01-14 0:00 ` Ada Larry Kilgallen
2000-01-14 0:00 ` Ada Marin D. Condic
2000-01-14 0:00 ` Ada Magnus Alexandersson
2000-01-14 0:00 ` Ada Marin D. Condic
1999-12-23 0:00 ` Ada Greg Martin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox