Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

En lógica de enunciados, el antecedente y el consecuente son los dos miembros componentes del enunciado condicional. En las fórmulas correspondientes, que se escriben, por ejemplo,

[math]P\rightarrow{}Q[/math]

«p» es el antecedente, o letra de enunciado que lleva la partícula condicional «si», y «q» el consecuente, o letra de enunciado que lleva la partícula «entonces», o equivalente.