title: Conséquent (logique)
text: # 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 $\phi$ implique $\psi$ alors $\phi$ est appelé l'antécédent et $\psi$ est appelé le conséquent.
  
  Par exemple :
  
  Q est le conséquent de cette proposition.
  
  Ici, « X est un animal » est le conséquent.
  
  — « 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.
  
  — « 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 ».
  
  