Conséquent (logique)
Un conséquent est la seconde moitié d'une proposition hypothétique. Dans la forme standard d'une telle proposition, il est la partie qui suit "alors". Dans une implication, si implique alors est appelé l'antécédent et est appelé le conséquent[1].
Par exemple:
- Si P, alors Q.
Q est le conséquent de cette proposition.
- Si X est un mammifère, alors X est un animal.
Ici, "X est un animal" est le conséquent.
- Si les ordinateurs peuvent penser, alors ils sont en vie.
"ils sont en vie" est le conséquent .
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 violet, alors les poissons parlent français.
"les poissons parlent français" est le conséquent ici, mais intuitivement ce n'est pas une conséquence de l'affirmation (ni rien à voir avec) faite dans l'antécédent que "les singes sont violets".
Voir aussi
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Consequent » (voir la liste des auteurs).
- Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004
- Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.