Oui, parce que la contraposée d'une implication quand A -> B c'est non(B) -> non(A)
La négation, l'inversion, (ou porte NON) se note de différente manière:
- avec un / (donc pour dire nonA on dira /A) utilisé surtout dans les logicielles modélisant des diagrammes et des Grafcets.
- avec un ¬ utilisé dans la logique mathématique Booléenne.
- également, de manière plus "commune" avec une barre au dessus de la variable, utilisé un peu partout quand on parle d'informatique.
mais en aucun cas ¬ ne signifie "contraposée", c'est parce que justement, la contraposée de A -> B c'est quand la négation de B -> la négation de A
Kotar disait surement cela en référence a ton 1er poste sur cette page ou tu disais "j'ai rajouté le signe de la contraposée ¬" qui est une horrible faute, j'entendais les logiciens vouloir te brûler, hérétique.
La contraposée d'une implication a la même table de vérité que cette dite implication.
OR, la négation d'une équation booléenne a une table de vérité inversé à la dite équation, et ce signe:¬ c'est le signe de la négation !!
La négation, l'inversion, (ou porte NON) se note de différente manière:
- avec un / (donc pour dire nonA on dira /A) utilisé surtout dans les logicielles modélisant des diagrammes et des Grafcets.
- avec un ¬ utilisé dans la logique mathématique Booléenne.
- également, de manière plus "commune" avec une barre au dessus de la variable, utilisé un peu partout quand on parle d'informatique.
mais en aucun cas ¬ ne signifie "contraposée", c'est parce que justement, la contraposée de A -> B c'est quand la négation de B -> la négation de A
Kotar disait surement cela en référence a ton 1er poste sur cette page ou tu disais "j'ai rajouté le signe de la contraposée ¬" qui est une horrible faute, j'entendais les logiciens vouloir te brûler, hérétique.
La contraposée d'une implication a la même table de vérité que cette dite implication.
OR, la négation d'une équation booléenne a une table de vérité inversé à la dite équation, et ce signe:¬ c'est le signe de la négation !!
