Las oraciones condicionales prototípicas en inglés son las de la forma "If X, then Y". La cláusula X se denomina antecedente (o prótasis ), mientras que la cláusula Y se denomina consecuente (o apódosis ). Se entiende que un condicional expresa su consecuente bajo el supuesto hipotético temporal de su antecedente.
Las oraciones condicionales pueden tomar numerosas formas. El consecuente puede preceder a la cláusula "si" y la palabra "si" en sí puede omitirse o reemplazarse con un complementador diferente . El consecuente puede ser declarativo , interrogativo o imperativo . Se puede usar una morfología temporal especial para formar un condicional contrafáctico . Algunos lingüistas han argumentado que otras estructuras gramaticales superficialmente distintas, como los informes de deseos, tienen la misma estructura subyacente que los condicionales.
Los condicionales son uno de los fenómenos más estudiados en la semántica formal , y también han sido discutidos ampliamente en filosofía del lenguaje , informática , teoría de la decisión , entre otros campos.
En las oraciones condicionales en inglés, el antecedente (prótasis) es una cláusula dependiente , más comúnmente introducida por el complemento if . También se pueden usar otros complementos, como siempre que , a menos que , siempre que (eso) y siempre que . Ciertas cláusulas de condición también se pueden formular usando inversión sin ninguna conjunción; ver § Inversión en las cláusulas de condición a continuación.
La cláusula consecuente, que expresa la consecuencia de la condición enunciada, es generalmente una cláusula principal . Puede ser una oración declarativa, interrogativa o imperativa. Puede aparecer antes o después de la cláusula de condición:
Al igual que con otras cláusulas dependientes en inglés escrito, es común [ clarificar ] que se use una coma para separar las cláusulas si la cláusula dependiente va primero (como se hace en los ejemplos anteriores). Ver Coma § Separación de cláusulas .