Buscar

Ao observarmos as inferências tautológicas representadas pelas expressões p^q <=> q ^p e p v q <=> q v p estamos observando uma inferência: