Logiweb codex of problemtwo in pyk

Up Help

ref-2-id-102	{MissingArg} imply {MissingArg}
ref-0-id-0	problemtwo
ref-0-id-1	ell aa
ref-0-id-2	ell ab
ref-0-id-3	ell ac
ref-0-id-4	ell ad
ref-0-id-5	ell ae
ref-0-id-6	ell af
ref-0-id-7	ell ag
ref-0-id-8	ell ah
ref-0-id-9	ell ai
ref-0-id-10	ell aj
ref-0-id-11	ell ak
ref-0-id-12	ell al
ref-0-id-13	ell am
ref-0-id-14	ell an
ref-0-id-15	ell ao
ref-0-id-16	ell ap
ref-0-id-17	ell aq
ref-0-id-18	ell ar
ref-0-id-19	ell as
ref-0-id-20	pred calc
ref-0-id-21	pc1
ref-0-id-22	pc2
ref-0-id-23	pc3
ref-0-id-24	pc4
ref-0-id-25	pc5
ref-0-id-26	pc6
ref-0-id-27	pc7
ref-0-id-28	pc8
ref-0-id-29	pc9
ref-0-id-30	pc10
ref-0-id-31	pc11
ref-0-id-32	pc12
ref-0-id-33	pcmp
ref-0-id-34	pcunsound
ref-0-id-35	pcded
ref-0-id-36	pcia
ref-0-id-37	pcie
ref-0-id-38	pcdeduction
ref-0-id-39	trivia
ref-0-id-40	trivia2
ref-0-id-41	iatest
ref-0-id-42	andintro
ref-0-id-43	andelim1
ref-0-id-44	andelim2
ref-0-id-45	orintro1
ref-0-id-46	orintro2
ref-0-id-47	orelim
ref-0-id-48	notintro
ref-0-id-49	notnotintro
ref-0-id-50	notnotelim
ref-0-id-51	mt
ref-0-id-52	pbc
ref-0-id-53	repeat
ref-0-id-54	lem
ref-0-id-55	forallintro
ref-0-id-56	forallelim
ref-0-id-57	existsintro
ref-0-id-58	existselim
ref-0-id-59	bottomelim
ref-0-id-60	lemnotintro
ref-0-id-61	nontriv0
ref-0-id-62	nontriv1
ref-0-id-63	nontriv2
ref-0-id-64	nontriv3
ref-0-id-65	nontriv4
ref-0-id-66	nontriv5
ref-0-id-67	nontriv6
ref-0-id-68	{MissingArg} setequiv {MissingArg}
ref-0-id-69	{MissingArg} setequals {MissingArg}
ref-0-id-70	lnot {MissingArg}
ref-0-id-71	{MissingArg} land {MissingArg}
ref-0-id-72	{MissingArg} lor {MissingArg}
ref-0-id-73	forall {MissingArg} dot {MissingArg} end forall
ref-0-id-74	exists {MissingArg} dot {MissingArg} end exists
ref-0-id-75	{MissingArg} setin {MissingArg}