Logiweb dictionary of problemone

Up Help

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