Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Meta

Talkback

Downloads

Information
sole sufficient operator (Definition)

A sole sufficient operator or a sole sufficient connective is an operator that is sufficient by itself to define all of the operators in a specified set of operators.

In logical contexts this refers to a logical operator that suffices to define all of the boolean-valued functions, f : X 𝔹, where X is an arbitrary set and where 𝔹 is a generic 2-element set, typically 𝔹 = {0, 1} = {false, true}, in particular, to define all of the finitary boolean functions, f : 𝔹k 𝔹.


"sole sufficient operator" is owned by Jon Awbrey.
(view preamble)
View style:
Other names:  sole sufficient connective

Cross-references: boolean functions, boolean-valued functions, operators, operator

This is version 1 of sole sufficient operator, born on 2010-05-11.
Object id is 866, canonical name is SoleSufficientOperator.
Accessed 2222 times total.

Classification:
Physics Classification02. (Mathematical methods in physics)
 02.10.Ab (Logic and set theory)
 02.10.Hh (Rings and algebras)
 02.10.Ox (Combinatorics; graph theory)
 02.50.Cw (Probability theory)
 02.50.Tt (Inference methods)
 02.70.Wz (Symbolic computation )
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Interact
rate | post | correct | update request | add derivation | add example | add (any)