IMPLICACION DE FORMULAS

Sean A y B dos formas logicas y sus matrices principales definidas. Si al plantear A B tomando A como antecedente y B como consecuente, y el resultado es una tautologica, entonces A implica B

AB