Si hoy hace calor, comeré un helado, y que no come un helado es condición necesaria y suficiente para que hoy haga calor.
SIMBOLIZA Y FORMALIZA A LÓGICA PROPORCIONAL