Es una proposición compuesta de la forma "si p entonces q" donde p y q son proposiciones. Ejemplo: "si un número entero es impar entonces su cuadrado es impar". La proposición condicional "si p entonces q" se denota con "p-->q" Una proposición condicional es falsa si y sólo si (por definición) p es falsa y q verdadera. Otra forma de verbalizar la proposición condicional es "p si q" o "p a condición de q".