Uma forma de validação dos argumentos, requer a utilização das regras de equivalencia, quando elaboramos a sequência de proposições partindo das hi...

Uma forma de validação dos argumentos, requer a utilização das regras de equivalencia, quando elaboramos a sequência de proposições partindo das hipóteses com a finalidade de obter a tese. Neste sentido, sobre os amigos Aldo, Baldo e Caldo, sabe-se que: I. Se Caldo é flamenguista, então Aldo não é tricolor; II. Se Baldo não é vascaíno, então Aldo é tricolor; III. Se Baldo é vascaíno, então Caldo não é flamenguista. Logo, deduz-se que:

Aldo é tricolor.
Baldo é vascaíno.
Aldo não é tricolor.
Caldo é flamenguista.
Caldo não é flamenguista.