Axiom D



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]


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
This page was last modified on August 26th, 2006.