Article de reference

Conséquent

Le conséquent est la seconde partie d'une proposition hypothétique . Dans la forme standard d'une telle proposition, il s'agit de la partie qui suit « alors ». Dans une implicat...

proposition hypothétique . Dans la forme standard d'une telle proposition, il s'agit de la partie qui suit « alors ». Dans une implication , si P implique Q , alors P est appelé l' antécédent et Q le conséquent . Dans certains contextes, le conséquent est appelé l' apodose .

Exemples :

  • Si , alors .

  • Si est un mammifère, alors est un animal.

Ici, « est un animal » est le conséquent.

  • Si les ordinateurs peuvent penser, alors ils sont vivants.

« Ils sont vivants » est la conséquence.

Le conséquent d'une proposition hypothétique n'est pas nécessairement une conséquence de l'antécédent.

  • Si les singes sont violets, alors les poissons parlent klingon.

« Les poissons parlent klingon » est la conséquence ici, mais intuitivement, ce n'est pas une conséquence (et cela n'a rien à voir avec) l'affirmation faite dans l'antécédent selon laquelle « les singes sont violets ».