Computer Chess Club Archives


Search

Terms

Messages

Subject: Re: Technical question regarding interface for CCT

Author: Uri Blass

Date: 00:34:02 12/15/03

Go up one level in this thread


On December 15, 2003 at 02:51:02, Russell Reagan wrote:

>On December 15, 2003 at 01:17:53, Omid David Tabibi wrote:
>
>>You gave this as an example of:
>>
>>    (no winning chances) AND (participation)       (1)
>>
>>in order contradict what I said, which was
>>
>>    (winning chances) -> (participation)           (2)
>>
>>I fail to see how (1) contradicts (2).
>>
>>In other words, you tried to contradict
>>
>>    A -> B
>>
>>by giving the example
>>
>>    ~A and B
>
>Isn't that correct? IIRC, ~A and B is equivalent to ~(A -> B)

No

~A and B happens only if A=false and B=true

~(A->B) happens only if A=true and B=false

Uri



This page took 0 seconds to execute

Last modified: Thu, 15 Apr 21 08:11:13 -0700

Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.