Re: Logic question

From: Peter Fairbrother <zenadsl6186@xxxxxxxxx>
Date: Tue, 20 Dec 2005 03:32:56 +0000

david petry wrote:

>
> Peter Fairbrother wrote:
>> The statement "if A then B" is considered true when A is impossible. Is this
>> just a convenient definition?
>
> Maybe we should say that "if A then B" is "vacuously" true if A is
> impossible. Certainly it's not false,

Why? I am not certain about that at all.

> and "not false" is usually
> equivalent to true in boolean logic.

See my other post at this time for some discussion of the two meanings of
"true" in boolean logic.

--
Peter Fairbrother

.

References:
- Logic question
  - From: Peter Fairbrother
- Re: Logic question
  - From: david petry

Prev by Date: Re: Exact Values for Pi Related Stuff, I Think....?
Next by Date: Re: Logic question
Previous by thread: Re: Logic question
Next by thread: Re: Logic question
Index(es):
- Date
- Thread

Relevant Pages

Sharpening taps
... Is it possible for the homebrew guy to sharpen taps? ... Peter Fairbrother ... Prev by Date: ...
(uk.rec.models.engineering)
Re: Logic question
... >>On Sun, 18 Dec 2005, Peter Fairbrother wrote: ... > for the function NON) in mathematical logics? ... Prev by Date: ...
(sci.math)
Re: Logic question
... Peter Fairbrother wrote: ... Find me uh cave ... 'n talk the bears ... Prev by Date: ...
(sci.math)