**Assumption 3: Compound Plausibilities**: The plausibility of the logical conjunction (“A and B” or “AB”) and the logical dijunction (“A or B” or “A+B”) is a universal function of the plausibilities that constitute it, and their complements, under all relevant conditions of knowledge.

(AB|X)=G[(A|X),(B|X),(A|X),(B|X),(A|B,X),(B|A,X),(A|B,X),(B|A,X),(A|B,X),(B|A,X),(A|B,X),(B|A,X)]

Another aspect of assumption 3 is that the universal functions depend only on their components. But assuming the functions are universal – what else can they depend on? They can only depend on some plausibilities. They cannot depend on the plausibility of an unrelated claim, for then it will not be possible to identify it in different domains of discourse. They must depend at least on the plausibilities of their components as they do under the extreme cases of utter certainty or rejection. It is perhaps possible to conjecture that in addition they may depend on some other compund proposition that is composed out of the basic propositions of the conjunction/disjunction, but this would surely be very strange. The decomposition into constituents therefore appears very simple and “logical” – I don’t know of any that object to it.

Let us proceed, then, under assumption 3.

It is a cumbersome assumption as each function depends on lots of variables. Fortunately, we can reduce their number. Consider the case where B is the negation of A, that is B=A. In this case

(A+B|X)=F[(A|X),(A|X),(A|X),(A|X),F,F,T,(A|X),T,T,F,F]

so that F depends on only two variables, (A|X) and (A|X). On the other hand, logic dictates that this plausibility must have a constant value,

(A+B|X)=(A+A|X)=(T|X)=vT

Assuming that the universal function F is not constant, the only way we can maintain a constant value when we change (A|X) is to change (A|X) simultaneously. We are forced to conclude that the plausibility of a proposition is tied to that of the proposition’s negation by a universal function,

.

**Theorem 3.1**: The plausibility of A is tied to the plausibility of its negation by a universal function, (A|X)=S(A|X).

Something very important just happened – from the assumption that there are genreal rules for thought, we concluded that the plausibility of the negation of a proposition (A|X) is measured by the plausibility of the claim itself (A|X). It is therefore enough to just keep track of one plausibility, (A|X), to asses both. As we have said previously, this is an inherent part of the Bayesian analysis, and we see here that it is derived directly from the assumption of universality. The main alternative theory, the Dempster-Shafer theory, considers the measure of support that propositions have and requires a separate measure for the support of the proposition’s negation. The existence of S implies that Dempster-Shafer must reject the universality of their own theory! There cannot be a universal way to determine the support for compound propositions from the support we have for the basic propositions, and even within a particular domain if this can be done then the theory only reverts back to the Baysian one. Unsurprisingly, Shafer indeed doubts the existence of general rules of induction.

Let’s move on. The existence of S allows us to throw out the complements A and B from the parameters of the universal functions, as they are themselves a function of the propositions that they complement (A and B).

.

**Theorem 3.2: Simple Shapes**: The universal functions F and G can be written without an explicit dependence on the plausibilities of the complements.

**.**

**Theorem 3.3: Simpler Forms**: The universal functions F and G can be written without explicit dependence on the information that A or B are wrong.

.

** For example, van Horn.