setTheoryFormulation

URI: https://gptkb.org/prop/setTheoryFormulation
2 triples
GPTKB property
Random triples
Subject Object
gptkb:De_Morgan's_laws (A ∪ B)' = A' ∩ B'
gptkb:De_Morgan's_laws (A ∩ B)' = A' ∪ B'