brismu bridi		< Previous   Next > Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-gonai

---

Definition df-gonai 261

Description: Standard constructive definition of mutual exclusion ("the exclusive OR"), based on the mnemonic given to computer scientists in the USA and UK: "It's cake or tea, but not cake and tea."

Assertion

Ref	Expression
df-gonai	⊢ go gonai broda gi brode gi ge ga broda gi brode gi naku ge broda gi brode

---

This definition is referenced by:  gonaii  262  gonairi  265

Copyright terms: Public domain

W3C validator