El hecho de que ocurra un acontecimiento puede estar condicionado por que ocurra
otro: esta relación entre acontecimientos se puede describir como un silogismo condicional. Al igual que los silogismos categóricos, los silogismos condicionales consisten en dos premisas y una conclusión.
La primera premisa de un silogismo condicional es una afirmación de la forma «si P, entonces Q», donde P es una condición antecedente y Q es una condición consecuente. La segunda premisa puede tener una de las siguientes cuatro formas:

Afirmación del Antecedente (AA): P es cierto.
Negación del Antecedente (NA): P no es cierto.
Afirmación del Consecuente (AC): Q es cierto.
Negación del Consecuente (NC): Q no es cierto.

Razonamiento Deductivo