Une propriété en math est simplement une proposition qui a la valeur "vrai".
Une proposition est un énoncé qui possède soit la valeur "fausse", soit la valeur "vrai".
En tout cas il me semble que c'est ça.
Je suis tombé sur ce forum par hasard, et j'avais envie de répondre même si ce sujet date d'il y a un moment !
S