Welcome! Log In Create A New Profile

KT45

Posted by dve83

Announcements		Last Post
	SoC Curricula	09/30/2017 01:08PM
	Demarcation or scoping of examinations and assessment	02/13/2017 07:59AM
	School of Computing Short Learning Programmes	11/24/2014 08:37AM
	Unisa contact information	07/28/2011 01:28PM

Forums Messages New

dve83

KT45
November 01, 2011 11:42AM

Registered: 18 years ago
Posts: 129
Rating: 1

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

Reply Quote

wishblade

Re: KT45
November 01, 2011 04:23PM

Registered: 15 years ago
Posts: 114
Rating: 0

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