IMPLICACION:
simbolo: ------
proposicion: k ------ z
definicion: el resultado de esta proposicion compuesta sera falsa (0), solo cuando la primera proposicion es verdadera y la segunda es falsa.

EVALUACION DE PROPOSICIONES.
Evaluar una proposicion condicional consiste en obtener el grado de verdad o falsedad de la expresion, que se representa por los valores logicos 1 ó 0. para evaluar una expresion sedetermina si es simple o compuesta y se descompone en terminos, de manera que se facilite analizar cada expresion simple.