Re: Logic Syllabus
Re: Laws of Form • John Mingers

JM:

In a previous post you mentioned the minimal negation operator.  Is there also the converse of this, i.e. an operator which is true when exactly one of its arguments is true?  Or is this just xor?

Yes, the “just one true” operator is a very handy tool.  We discussed it earlier under the headings of “genus and species relations” or “radio button logic”.  Viewed in the form of a venn diagram it describes a partition of the universe of discourse into mutually exclusive and exhaustive regions.  Reading to mean just one of is false, the form means just one of is true.

For two logical variables, though, the cases “condense” or “degenerate” and saying “just one true” is the same thing as saying “just one false”.

There’s more information on the following pages.

• Minimal Negation Operators • Related Truth Tables
• Genus, Species, Pie Charts, Radio Buttons • Discussions

cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science
cc: FB | Logical Graphs • Mathstodon • Laws of Form • Ontolog Forum