¿Qué es?
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.