Logiweb codex of problemone in pyk

Up Help

ref-2-id-102	{MissingArg} imply {MissingArg}
ref-0-id-0	problemone
ref-0-id-1	pred calc
ref-0-id-2	pc1
ref-0-id-3	pc2
ref-0-id-4	pc3
ref-0-id-5	pc4
ref-0-id-6	pc5
ref-0-id-7	pc6
ref-0-id-8	pc7
ref-0-id-9	pc8
ref-0-id-10	pc9
ref-0-id-11	pc10
ref-0-id-12	pc11
ref-0-id-13	pc12
ref-0-id-14	pcmp
ref-0-id-15	pcded
ref-0-id-16	pcia
ref-0-id-17	pcie
ref-0-id-18	pcdeduction
ref-0-id-19	trivia
ref-0-id-20	iatest
ref-0-id-21	andintro
ref-0-id-22	andelim1
ref-0-id-23	andelim2
ref-0-id-24	orintro1
ref-0-id-25	orintro2
ref-0-id-26	orelim
ref-0-id-27	notintro
ref-0-id-28	notnotintro
ref-0-id-29	notnotelim
ref-0-id-30	mt
ref-0-id-31	pbc
ref-0-id-32	repeat
ref-0-id-33	lem
ref-0-id-34	{MissingArg} setequiv {MissingArg}
ref-0-id-35	{MissingArg} setequals {MissingArg}
ref-0-id-36	lnot {MissingArg}
ref-0-id-37	{MissingArg} land {MissingArg}
ref-0-id-38	{MissingArg} lor {MissingArg}
ref-0-id-39	forall {MissingArg} dot {MissingArg} end forall
ref-0-id-40	exists {MissingArg} dot {MissingArg} end exists
ref-0-id-41	{MissingArg} setin {MissingArg}