title: Antécédent (logique)
text: # Antécédent (logique)
  
  Un antécédent est la première moitié d'une proposition hypothétique, lorsque la clause-si précède la clause-alors.
  
  Par exemple:
  
  C'est une formulation non logique d'une proposition hypothétique. Ici, l’antécédent est P,et le conséquent est Q. Dans une implication, si $\phi$ implique $\psi$ alors $\phi$ est appelé l'antécédent et $\psi$ est appelé le conséquent.
  
  "X est un homme" est l'antécédent de cette proposition.
  
  Ici, "un homme a marché sur la lune" est l'antécédent.
  
  