Axiom D

References

• [Hughes and Cresswell, 1996]

Axiom

Lp > Mp

It is the defining axiom of the system D

Any consistant extension of system K which is not contained in VER contains the axiom D. Every consistant system which contains D is contained in triv (Lp>Mp). [Hughes and Cresswell, 1996, p67]

System

D = Axiom D + K[L(p>q) > (Lp>Lq)] [Hughes and Cresswell, 1996, p43]

KD4 = Axiom D + K4

Go to ...

• Axioms Page
• Structures Page
• Logic Page
• John Halleck's home page

© Copyright 2006 by John Halleck, All Rights Reserved.

This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CLpMp.html
This page was last modified on August 26th, 2006.