On 14/08/2016 08:44, David Topham wrote:
Thanks Roger, I am using slides he distributes. He has false
introduction rules starting on page 24 (attached).
Sorry about my poor example, please ignore that since is a confused
use of this technique anyway! -Dave
Looks like he changed the name.
David,
I don't quite understand what you are trying to do here.
On the face of it you want a rule:
p
-- false-intro
false
But this is not possible, because it is not sound.
As far as I can see Woodcock does not have a false-intro rule,
he has only a false-elim rule, is that what you