3 ms·
The symbol ⊃ is an old notation for material conditional, which is now usually symbolized using ⇒ or →. And yes, use of ⊃ in symbolic logic and set theory is co
by ubavic_nikola 7y ago
The symbol ⊃ is an old notation for material conditional, which is now usually symbolized using ⇒ or →. And yes, use of ⊃ in symbolic logic and set theory is conflicting, as you noted.