Tout a fait la logique se décrit avec 2 propositions. (non p et p=>q si mes souvenirs sont exacts)
Un seul opérateur suffit pour définir les opérateurs usuels de la logique du 1er ordre, nand :
not(a) = nand(a, a)
or(a, b) = nand(not(a), not(b))
and(a, b) = not(nand(a, b))
…
[^] # Re: Excellente nouvelle
Posté par Sylvain Sauvage . En réponse à la dépêche Google Web Toolkit sous licence Apache 2.0. Évalué à 4.
Un seul opérateur suffit pour définir les opérateurs usuels de la logique du 1er ordre, nand :
not(a) = nand(a, a)
or(a, b) = nand(not(a), not(b))
and(a, b) = not(nand(a, b))
…