UNIVERSIDAD NACIONAL DE CHIMBORAZO
Proposiciones Condicionales DEFINICION si p y q son proposiciones, la proposición compuesta
SI P ENTONCES Q
es una proposición condicional y se denota como :
p->q
La Proposición p es la hipótesis(o antecedente) y la proposición q es la conclusión(o consecuente) El valor de verdad de la proposición condicional p -> q se define mediante la siguiente tabla de verdad:
V V
V
V F
F
F V
V
F F
V
En el lenguaje común, lo usual es que la hipótesis y la conclusión de una proposición condicional tengan cierta relación; pero en logica no es necesario que la hipotesis y la conclusión se refieran al mismo tema. Por ejemplo si 10 < 1 , entonces Arzú fue un presidente de Guatemala.
1