58

OverviewVersionsHelp

Facsimile

Transcription

Status: Complete

46

the simple assertion of g. By the same rule
[diagram]
is transformable into
[diagram].
which means that the beta rules do not make
g false. That is g is beta-possible.

So if we start from
[diagram]
which denies the last figure and thus
asserts that it is beta-impossible that g
should be true, Rule 2 gives
[diagram] equivalent to [diagram]
the simple denial of g

Notes and Questions

Nobody has written a note for this page yet

Please sign in to write a note for this page