Alex' Gardenアレックスの庭

Home

❯

5_Archive

❯

3_Resources

❯

Uni

❯

Modules

❯

LSW

❯

VL

❯

VL04

❯

‍‍Coextensiveness

1 min read

🧑‍🤝‍🧑 Coextensiveness

=== universally implying one another; having the same class==

Graph View

Backlinks

  • Extensional procedure
  • Propositional function