Implication (logique)
Wikipédia FrançaisDownload this dictionary
Implication (logique)
En  logique classique, l'expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬PQ est vraie ». Formellement cela s'écrit PQ.

Pour la suite, voir Wikipédia.org…


© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU

| Implication (logique) in French