Changes

La logique classique est basée sur des propositions. On dit souvent qu'une proposition est une phrase qui demande si la proposition est vraie ou fausse. En effet, une proposition en mathématiques est généralement soit vraie, soit fausse, mais c'est évidemment un peu trop vague pour être une définition.... Elle peut être prise, au mieux, comme un avertissement : si une phrase, exprimée dans le langage courant, n'a pas de sens pour demander si elle est vraie ou fausse, ce ne sera pas une proposition mais autre chose.

La logique classique est basée sur des propositions. On dit souvent qu'une proposition est une phrase qui demande si la proposition est vraie ou fausse. En effet, une proposition en mathématiques est généralement soit vraie, soit fausse, mais c'est évidemment un peu trop vague pour être une définition.... Elle peut être prise, au mieux, comme un avertissement : si une phrase, exprimée dans le langage courant, n'a pas de sens pour demander si elle est vraie ou fausse, ce ne sera pas une proposition mais autre chose.

It can be argued whether or not common language sentences are propositions as in many cases it is not often evident if a certain statement is true or false.  

On peut discuter de la question de savoir si les phrases du langage courant sont ou non des propositions, car dans de nombreux cas, il n'est pas toujours évident de savoir si une certaine déclaration est vraie ou fausse..  

''‘Fortunately, mathematical propositions, if well expressed, do not show such ambiguities’.''

''‘Fortunately, mathematical propositions, if well expressed, do not show such ambiguities’.''