Las oraciones condicionales prototípicas en inglés son las de la forma "Si X, entonces 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 adoptar numerosas formas. El consecuente puede preceder a la cláusula "si" y la palabra "si" puede omitirse o reemplazarse por un complemento diferente . El consecuente puede ser declarativo , interrogativo o imperativo . Se puede usar una morfología de tiempo 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 semántica formal , y también han sido ampliamente discutidos en filosofía del lenguaje , informática , teoría de decisiones , entre otros campos.
En las oraciones condicionales en inglés, el antecedente (protasis) es una cláusula dependiente , más comúnmente introducida por el complementario if . También se pueden utilizar otros complementarios, como siempre , 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 cláusulas de condición a continuación.
La cláusula consecuente, que expresa la consecuencia de la condición declarada, es generalmente una cláusula principal . Puede ser una cláusula 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 [ aclarar ] que se use una coma para separar las cláusulas si la cláusula dependiente viene primero (como se hace en los ejemplos anteriores). Ver Coma § Separación de cláusulas .