Assertion: boolean algebra's value | /r/CapableOf | emerge in vector logic
Facets:
Source sentences:
text: → ¬p is proved because the equivalence holds for all the possible combinations of truth-values of p and q. Instead, in vector logic, the law of contraposition emerges from a chain of equalities within the rules of matrix algebra and Kronecker products, as shown in what follows: