Welcome! Log In Create A New Profile



Posted by dve83 
Announcements Last Post
Announcement SoC Curricula 09/30/2017 01:08PM
Announcement Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
Announcement School of Computing Short Learning Programmes 11/24/2014 08:37AM
Announcement Unisa contact information 07/28/2011 01:28PM
November 01, 2011 11:42AM
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.

you agree?

Danie van Eeden
Re: KT45
November 01, 2011 04:23PM
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