Axiom D

References

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 ...


© 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.