:: Re: [DNG] Ada example
Top Page
This message is part of the following thread:
Mthe complete thread tree sorted by date
Mkarl at <-
MHendrik Boom at ->
Delete this message
Reply to this message
Author: Didier Kryn
Date:  
To: dng
Subject: Re: [DNG] Ada example
Le 06/10/2024 à 08:53, karl@??? a écrit :
> In math/logic, A => B means A implicates B, i.e. if A is true then B is
> true.

    No confusion here: AFAIK in no imperative language (FORTRAN, C,
Ada, etc...) there is anything about implication; is there?

--     Didier

This message was posted to the following mailing lists:
dng
Mailing List Info | Nearby Messages		<-Re: [DNG] C vs C++Re: [DNG] Learning C (books)->

Donate to Dyne.org

dyne.org open discussions
administrated by dyne.org hackers		Lurker (version 2.3)