Comment utiliser «si et seulement si» en mathématiques

Lors de la lecture sur les statistiques et les mathématiques, une phrase qui apparaît régulièrement est «si et seulement si». Cette phrase apparaît particulièrement dans les énoncés de théorèmes mathématiques ou de preuves. Mais que signifie précisément cette déclaration?

Pour comprendre «si et seulement si», nous devons d'abord savoir ce que l'on entend par une déclaration conditionnelle. Une déclaration conditionnelle est une déclaration formée de deux autres déclarations, que nous désignerons par P et Q. Pour former une déclaration conditionnelle, nous pourrions dire «si P alors Q.»

Voici des exemples de ce type de déclaration:

• S'il pleut dehors, je prends mon parapluie avec moi lors de ma promenade.
• Si vous étudiez dur, vous gagnerez un A.
• Si n est divisible par 4, alors n est divisible par 2.

Trois autres déclarations sont liées à toute déclaration conditionnelle. Ils sont appelés converse, inverse et contrapositive

Il suffit de considérer l'inverse ici. Cette déclaration est obtenue à partir de l'original en disant "si Q alors P." Supposons que nous commençons par le conditionnel "s'il pleut à l'extérieur, alors je prenez mon parapluie avec moi lors de ma promenade. L’inverse de cette déclaration est «si je prends mon parapluie avec moi lors de ma marche, il pleut à l'extérieur."

Il suffit de considérer cet exemple pour se rendre compte que le conditionnel d'origine n'est pas logiquement le même que son inverse. La confusion de ces deux formulaires de déclaration est connue erreur de conversation. On pourrait prendre un parapluie en promenade même s'il ne pleut pas dehors.

Pour un autre exemple, nous considérons le conditionnel "Si un nombre est divisible par 4 alors il est divisible par 2." Cette affirmation est clairement vraie. Cependant, l'inverse de cette affirmation: «Si un nombre est divisible par 2, alors il est divisible par 4» est faux. Il suffit de regarder un nombre tel que 6. Bien que 2 divise ce nombre, 4 ne le fait pas. Bien que la déclaration d'origine soit vraie, son contraire ne l'est pas.

Cela nous amène à une déclaration biconditionnelle, qui est également connue comme une déclaration «si et seulement si». Certaines instructions conditionnelles ont également des conversions qui sont vraies. Dans ce cas, nous pouvons former ce que l'on appelle une déclaration biconditionnelle. Une déclaration biconditionnelle a la forme:

"Si P alors Q, et si Q alors P."

Depuis cela construction est quelque peu gênant, surtout lorsque P et Q sont leurs propres instructions logiques, nous simplifions l'énoncé d'une condition biconditionnelle en utilisant l'expression "si et seulement si." Plutôt que de dire "si P alors Q, et si Q alors P", nous disons plutôt "P si et seulement si Q." Cette construction élimine certains redondance.

Pour un exemple de la phrase «si et seulement si» qui implique des statistiques, ne cherchez pas plus loin qu'un fait concernant l'écart type de l'échantillon. L'écart type d'échantillon d'un ensemble de données est égal à zéro si et seulement si toutes les valeurs de données sont identiques.

Nous divisons cette déclaration biconditionnelle en une conditionnelle et son inverse. Ensuite, nous voyons que cette déclaration signifie les deux choses suivantes:

• Si l'écart-type est nul, toutes les valeurs de données sont identiques.
• Si toutes les valeurs de données sont identiques, l'écart-type est égal à zéro.

Si nous essayons de prouver un biconditionnel, la plupart du temps nous finissons par le diviser. Cela rend notre preuve en deux parties. Une partie que nous prouvons est «si P alors Q.» L'autre partie de la preuve dont nous avons besoin est "si Q alors P."

Les déclarations biconditionnelles sont liées à des conditions à la fois nécessaires et suffisantes. Considérez la déclaration «si aujourd'hui est Pâques, alors demain est lundi. " Aujourd'hui, Pâques suffit pour que demain soit lundi, mais ce n'est pas nécessaire. Aujourd'hui pourrait être n'importe quel dimanche autre que Pâques, et demain serait toujours lundi.

L'expression «si et seulement si» est utilisée assez couramment dans l'écriture mathématique pour avoir sa propre abréviation. Parfois, le biconditionnel dans l'énoncé de la phrase «si et seulement si» est simplement abrégé «ssi». Ainsi, l'énoncé «P si et seulement si Q» devient «P ssi Q.»