Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/fr (view source)
Revision as of 15:35, 2 November 2021
, 3 years agoCreated page with "Heureusement, les propositions mathématiques, si elles sont bien exprimées, ne présentent pas de telles ambiguïtés."
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..
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’.''
''‘Heureusement, les propositions mathématiques, si elles sont bien exprimées, ne présentent pas de telles ambiguïtés.’.''
Simpler propositions can be combined with each other to form new, more complex propositions. This occurs with the help of operators called ''logical operators'' and quantifying connectives which can be reduced to the following<ref>For the sake of simplicity of exposition and reading, we will deal in this chapter with the ''symbol of belonging'', the ''symbol of consequence'' and the "''such that''" as if they were quantifiers and connectives of propositions in classical logic.<br>Strictly speaking, within classical logic they should not be treated as such, but even if we do, this does not absolutely change the meaning of the speech and no inconsistencies of any kind are created.</ref>:
Simpler propositions can be combined with each other to form new, more complex propositions. This occurs with the help of operators called ''logical operators'' and quantifying connectives which can be reduced to the following<ref>For the sake of simplicity of exposition and reading, we will deal in this chapter with the ''symbol of belonging'', the ''symbol of consequence'' and the "''such that''" as if they were quantifiers and connectives of propositions in classical logic.<br>Strictly speaking, within classical logic they should not be treated as such, but even if we do, this does not absolutely change the meaning of the speech and no inconsistencies of any kind are created.</ref>: