En lògica d’enunciats, els dos membres components de l’enunciat condicional. En les fórmules corresponents, que s’escriuen, per exemple,
p®q
«p» és l’antecedent, o lletra d’enunciat que porta la partícula condicional «si», i «q» el conseqüent, o lletra d’enunciat que porta la partícula «llavors», o equivalent.