Question

Como provar essa afirmação no anexo?

Answer 1

A = anel
B =anel
B está contido em A
J subconjunto de A
Logo: J subonjunto de B também
A contém B que contém J
Se A ----> B (se A implica B)
B ---> A (B implica A)
Então A é verdade, B é verdade e J está contido em ambos.
É assim que entendo.