title: Antecedente (lógica)
text: # Antecedente (lógica)
  
  Un antecedente es la primera parte de una proposición hipotética, siempre que la cláusula "si" preceda a la cláusula "entonces". En algunos contextos el antecedente se llama protasis.
  
  # Antecedente (lógica)
  ## Estructura lógica
  
  * Si $P$, entonces $Q$.
  Esta es una formulación no lógica de una proposición hipotética. En este caso, el antecedente es $P$, y el consecuente es $Q$. En una implicación, si $\phi$ implica $\psi$ entonces $\phi$ se llama el antecedente y $\psi$ el consecuente.
  
  # Antecedente (lógica)
  ## Ejemplos
  
  * Si $X$ es un hombre, entonces $X$ es mortal.
  "$X$ es un hombre" es el antecedente para esta proposición.
  * Si a 2016 hay hombres en la Luna, entonces yo soy el rey de Francia.
  Aquí, "a 2016 hay hombres en la Luna" es el antecedente.