Definition of Antisym. Meaning of Antisym. Synonyms of Antisym

Here you will find one or more explanations in English for the word Antisym. Also in the bottom left of the page several parts of wikipedia pages related to the word Antisym and, of course, Antisym synonyms and on the right images related to the word Antisym.

Definition of Antisym

No result for Antisym. Showing similar results...

Meaning of Antisym from wikipedia

- Example Partial order Refl Antisym Yes Subset Strict partial order Irrefl Asym Yes Strict subset Total order Refl Antisym Yes Yes Alphabetical order Strict...
- \Delta \vdash q}{(\Gamma -\{q\})\cup (\Delta -\{p\})\vdash p=q}}} DEDUCT_ANTISYM_RULE deduce equality from 2-way deducibility Γ [ x 1 , … , x n ] ⊢ p [...