Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!cmcl2!rutgers!mcnc!ecsvax!uccjcm
From: uccjcm@ecsvax.UUCP (Jonathon C. McLendon IV)
Newsgroups: comp.lang.c
Subject: Re: what "cast" means
Message-ID: <3671@ecsvax.UUCP>
Date: Sat, 8-Aug-87 10:23:55 EDT
Article-I.D.: ecsvax.3671
Posted: Sat Aug  8 10:23:55 1987
Date-Received: Sun, 9-Aug-87 11:29:57 EDT
References: <263@auvax.UUCP> <1987Jul9.162103.1701@sq.uucp> <243@wrs.UUCP> <2817@psuvax1.psu.edu>
Organization: UNC Educational Computing Service
Lines: 47
Summary: This is not right!

In article <2817@psuvax1.psu.edu>, okunewck@psuvax1.psu.edu (Philip E. OKunewick) writes:
> In article <243@wrs.UUCP> dg@wrs.UUCP (David Goodenough) writes:
> >In article <1987Jul9.162103.1701@sq.uucp> msb@sq.UUCP (Mark Brader) writes:
> >>Mark Brader		"Not looking like Pascal is not a language deficiency!"
> >>utzoo!sq!msb							  -- Doug Gwyn
> >
> >does this mean that "looking like Pascal is a language deficiency!" :-)
> >		dg@wrs.UUCP - David Goodenough
> 
> No.
>
> We can simplify this into a mathematical proof:
Really?

> (  ! = logical not;  ] = logical implication;  ^ = logical or  )
> 
> We have two basic postulates here:
> 1: (looking like pascal)  (l.l.p)
> 2: (a language deficiency)  (a l.d.)
> 
> The first statement can be written as:
> !(!(looking like pascal) ] (a language deficency))

This is wrong! This statement can be simplified to:

  (looking like pascal) ] !(a language deficiency)

 which is clearly NOT the first statement.

What you really want as the first statement is:

 !(looking like pascal) ] !(a language deficiency)

In general, !X ] !Y does not imply X ] Y.

Or in your notation (!X ] !Y) !] (X ] Y) which simplifies to...

(!X ] !Y) ] !(X ] Y)  
(!X ] !Y) ] (!X ] !Y)

Now, is this not correct?   We give you a 'D' for effort though.
Your proof was correct though, it was just the supposition that....
-- 
Signed:
            Jonathon C. McLendon IV    -> ecsvax!uccjcm (919) 962-3228
            My employer has no opinions that aren't my own...
               (Or is it the other way around?)