Create A New Profile
Demarcation or scoping of examinations and assessment
School of Computing Short Learning Programmes
Unisa contact information
November 01, 2011 11:42AM
Registered: 13 years ago
Just A quick question.
if BLOCK p then BLOCK BLOCK p (axiom 4)
if NOT BLOCK p then BLOCK NOT BLOCK p (axiom 5)
I assume, these work the other way around as well...
if BLOCK BLOCK p, then BLOCK p?
it was used like this in the last proof of assignment 3.
My logic behind the above assumption is the following
If I know something, then I know that I know it.
If I know that I know something, then I must know it.
Danie van Eeden
November 01, 2011 04:23PM
Registered: 10 years ago
I agree with your final two lines there. Although the "I know" part might differ depending on the mode of truth that is required... for KT45 though, that assessment is spot on, at least according to my interpretation...
Sorry, only registered users may post in this forum.
Click here to login
is powered by