58

Overview Versions Help

Here you can see all page revisions and compare the changes have been made in each revision. Left column shows the page title and transcription in the selected revision, right column shows what have been changed. Unchanged text is highlighted in white, deleted text is ~~highlighted in red~~, and inserted text is highlighted in green color.

2 revisions	gnox at Dec 13, 2017 09:14 PM	Compared with
Dec 13, 2017 gnox Nov 24, 2016 jeffdown1	58 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	58 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

58

2 revisions

58

58