Axiom C

Notes

[Chellas, 1980]

Axiom

(Lp&Lq)>L(p&q)

It is part of all regular logic systems. [Chellas, 1980, p235]

Systems


Go to ...


© Copyright 1999 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/EKLpLqLKpq.html
This page was last modified on November 21st, 2004