User Avatar
nelsonmartins
Joined
Nov 2025
Subscription
Live
User Avatar
nelsonmartins
Edited 3 days ago

Following this logic:

  • Original: Some A are B

  • Negated: No A are B

  • Original: A ←s→ B

  • Negated: A → /B

Why isn't the last part no /A→ B, because the negated above reads No A are B ?

Confirm action

Are you sure?