12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday November 25, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 02:40, 8 May 2009
, 02:40, 8 May 2009→Commentary Note 12.5
|}
|}
The products commute, so the equation holds. In essence, the matrix identity turns on the fact that the law of exponents <math>(a^b)^c = a^{bc}\!</math> in ordinary arithmetic holds when the values <math>a, b, c\!</math> are restricted to the boolean domain <math>\mathbb{B}.</math> Regarded as a logical statement, the law of exponents <math>(a^b)^c = a^{bc}\!</math> amounts to a theorem of propositional calculus that is otherwise expressed in the following ways:
The products commute, so the equation holds. In essence, the matrix identity turns on the fact that the law of exponents <math>(a^b)^c = a^{bc}\!</math> in ordinary arithmetic holds when the values <math>a, b, c\!</math> are restricted to the boolean domain <math>\mathbb{B} = \{ 0, 1 \}.</math> Interpreted as a logical statement, the law of exponents <math>(a^b)^c = a^{bc}\!</math> amounts to a theorem of propositional calculus that is otherwise expressed in the following ways:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
