Logiweb codex of pogave in pyk
Up
Help
ref-2-id-53
system s
ref-2-id-54
double negation
ref-2-id-55
rule mp
ref-2-id-56
rule gen
ref-2-id-57
deduction
ref-2-id-58
axiom s one
ref-2-id-59
axiom s two
ref-2-id-60
axiom s three
ref-2-id-61
axiom s four
ref-2-id-62
axiom s five
ref-2-id-63
axiom s six
ref-2-id-64
axiom s seven
ref-2-id-65
axiom s eight
ref-2-id-66
axiom s nine
ref-2-id-72
prop three two a
ref-2-id-73
prop three two b
ref-2-id-74
prop three two c
ref-2-id-75
prop three two d
ref-2-id-78
prop three two e
ref-2-id-81
prop three two f
ref-2-id-84
prop three two g
ref-2-id-87
prop three two h
ref-0-id-0
pogave
ref-0-id-1
rule div
ref-0-id-2
axiom s ten
ref-0-id-3
prop three two i
ref-0-id-4
prop three two j one
ref-0-id-5
prop three two j two
ref-0-id-6
prop three two j
ref-0-id-7
prop three two k one
ref-0-id-8
prop three two k two
ref-0-id-9
prop three two k
ref-0-id-10
prop three two l one
ref-0-id-11
prop three two l two
ref-0-id-12
prop three two l
ref-0-id-13
prop three two m one
ref-0-id-14
prop three two m two
ref-0-id-15
prop three two m
ref-0-id-16
prop three two n one
ref-0-id-17
prop three two n two
ref-0-id-18
prop three two n
ref-0-id-19
prop three two o
ref-0-id-20
prop three four a one
ref-0-id-21
prop three four a two
ref-0-id-22
prop three four a
ref-0-id-23
prop three four b
ref-0-id-24
prop three four c one
ref-0-id-25
prop three four c two
ref-0-id-26
prop three four c
ref-0-id-27
prop three four d one
ref-0-id-28
prop three four d two
ref-0-id-29
prop three four d
ref-0-id-30
{MissingArg} divides {MissingArg}
The pyk compiler
, version 0.grue.20060417+ by
Klaus Grue
,
GRD-2006-06-21.UTC:11:42:14.848103
=
MJD-53907.TAI:11:42:47.848103
=
LGT-4657606967848103e-6