Reedy
Member
Registered: 11th Apr 04
Location: Hammersmith
User status: Offline
|
Im at uni trying to work out some formal methods.
Does this look fairly unbreakable as a rule?
binhyp(d <: u \/ v)
=>
d <: u \/ v - {w}
cheers
|
Paul_J
Member
Registered: 6th Jun 02
Location: London
User status: Offline
|
d:-P) or (|8=])
that will probably sort you out.
|
Reedy
Member
Registered: 11th Apr 04
Location: Hammersmith
User status: Offline
|
that doesnt work as its a smiley face paul.
|
Paul_J
Member
Registered: 6th Jun 02
Location: London
User status: Offline
|
^^
0.0
\_/
|
drax
Member
Registered: 5th Feb 05
Location: Sittingbourne, Kent
User status: Offline
|
\o/
<o/
\o>
/o/
\o\
<o>
\o/
|
