$P_{1}; Prob [P_{1}; {T}]$

$p_{1} = μ_{1} ({T})$

$\neg P_{1}; Prob [\neg P_{1}; {T}]$

$p_{\bar{1}} = μ_{1} ({F})$

$P_{2}; Prob [P_{2}; {T}]$

$p_{2} = μ_{2} ({T})$

$P_{1} \land P_{2}; Prob [P_{1} \land P_{2}; {T}]$

$p_{12} (= (μ_{1} \times^{q p} μ_{2}) ({(T, T)}) \equiv α)$

$\neg P_{1} \land P_{2}; Prob [\neg P_{1} \land P_{2}; {T}]$

$p_{\bar{1} 2} (= (μ_{1} \times^{q p} μ_{2}) ({(F, T)}) \equiv p_{2} - α)$

$\neg P_{2}; Prob [\neg P_{2}; {T}]$

$p_{\bar{2}} = μ_{2} ({F})$

$P_{1} \land \neg P_{2}; Prob [P_{1} \land \neg P_{2}; {T}]$

$p_{1 \bar{2}} (= (μ_{1} \times^{q p} μ_{2}) ({(T, F)}) \equiv p_{1} - α)$

$\neg P_{1} \land \neg P_{2}; Prob [\neg P_{1} \land \neg P_{2}; {T}]$

$p_{\bar{1} \bar{2}} (= (μ_{1} \times^{q p} μ_{2}) ({(F, F)}) \equiv 1 - p_{1} - p_{2} + α)$