logictools/config.json.example at main · ideas-edu/logictools · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
{
  "title": "Ideas - Logic Tools",
  "tools": {
    "DNV": {
      "code": "dnf",
      "source": "logex",
      "url": "oneway.html?exerciseType=DNV",
      "exampleExercises": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14],
      "randomExercises": true,
      "inputOwnExercise": true,
      "useRuleJustification": true,
      "displayRuleJustification": false,
      "useStepValidation": true,
      "displayStepValidation": false,
      "displayHintButton": true,
      "displayNextStepButton": true,
      "displayDerivationButton": true,
      "rules": [
        "logic.propositional.absorption",
        "logic.propositional.assoc",
        "logic.propositional.commutativity",
        "logic.propositional.demorgan",
        "logic.propositional.distribution",
        "logic.propositional.doublenegation",
        "logic.propositional.equivalence",
        "logic.propositional.falsecomplement",
        "logic.propositional.falseconjunction",
        "logic.propositional.falsedisjunction",
        "logic.propositional.nottrue",
        "logic.propositional.idempotency",
        "logic.propositional.implication",
        "logic.propositional.truecomplement",
        "logic.propositional.trueconjunction",
        "logic.propositional.truedisjunction",
        "logic.propositional.notfalse"
      ],
      "bundles": {
        "oneWaySolution": "controller/OneWaySolutionController.js",
        "oneWay": "controller/OneWayController.js"
      }
    },
    "CNV": {
      "code": "cnf",
      "source": "logex",
      "url": "oneway.html?exerciseType=CNV",
      "exampleExercises": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14],
      "randomExercises": true,
      "inputOwnExercise": true,
      "useRuleJustification": true,
      "displayRuleJustification": false,
      "useStepValidation": true,
      "displayStepValidation": false,
      "displayHintButton": true,
      "displayNextStepButton": true,
      "displayDerivationButton": true,
      "rules": [
        "logic.propositional.absorption",
        "logic.propositional.assoc",
        "logic.propositional.commutativity",
        "logic.propositional.demorgan",
        "logic.propositional.distribution",
        "logic.propositional.doublenegation",
        "logic.propositional.equivalence",
        "logic.propositional.falsecomplement",
        "logic.propositional.falseconjunction",
        "logic.propositional.falsedisjunction",
        "logic.propositional.nottrue",
        "logic.propositional.idempotency",
        "logic.propositional.implication",
        "logic.propositional.truecomplement",
        "logic.propositional.trueconjunction",
        "logic.propositional.truedisjunction",
        "logic.propositional.notfalse"
      ],
      "bundles": {
        "oneWaySolution": "controller/OneWaySolutionController.js",
        "oneWay": "controller/OneWayController.js"
      }
    },
    "LOGEQ": {
      "code": "logeq",
      "source": "logex",
      "url": "twoway.html?exerciseType=LOGEQ",
      "exampleExercises": [0, 1, 3, 7, 10, 15, 23, 16, 17, 18, 29, 30, 28, 32, 36],
      "randomExercises": true,
      "inputOwnExercise": true,
      "useRuleJustification": true,
      "displayRuleJustification": false,
      "useStepValidation": true,
      "displayStepValidation": false,
      "displayHintButton": true,
      "displayNextStepButton": true,
      "displayDerivationButton": true,
      "rules": [
        "logic.propositional.absorption",
        "logic.propositional.assoc",
        "logic.propositional.commutativity",
        "logic.propositional.demorgan",
        "logic.propositional.distribution",
        "logic.propositional.doublenegation",
        "logic.propositional.equivalence",
        "logic.propositional.falsecomplement",
        "logic.propositional.falseconjunction",
        "logic.propositional.falsedisjunction",
        "logic.propositional.nottrue",
        "logic.propositional.idempotency",
        "logic.propositional.implication",
        "logic.propositional.truecomplement",
        "logic.propositional.trueconjunction",
        "logic.propositional.truedisjunction",
        "logic.propositional.notfalse"
      ],
      "bundles": {
        "twoWaySolution": "controller/TwoWaySolutionController.js",
        "twoWay": "controller/TwoWayController.js"
      }
    },
    "LOGAX": {
      "code": "logax",
      "source": "test.logax",
      "url": "logax.html?exerciseType=LOGAX",
      "exampleExercises": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
      "randomExercises": true,
      "inputOwnExercise": true,
      "displayHintButton": true,
      "displayNextStepButton": true,
      "displayDerivationButton": true,
      "rules": [
        "logic.propositional.axiomatic.assumption",
        "logic.propositional.axiomatic.assumption.close",
        "logic.propositional.axiomatic.axiom-a",
        "logic.propositional.axiomatic.axiom-a.close",
        "logic.propositional.axiomatic.axiom-b",
        "logic.propositional.axiomatic.axiom-b.close",
        "logic.propositional.axiomatic.axiom-c",
        "logic.propositional.axiomatic.axiom-c.close",
        "logic.propositional.axiomatic.modusponens",
        "logic.propositional.axiomatic.deduction.forward",
        "logic.propositional.axiomatic.deduction.backward",
        "logic.propositional.axiomatic.deduction.close",
        "logic.propositional.axiomatic.goal",
        "logic.propositional.axiomatic.lemma",
        "logic.propositional.axiomatic.lemma.close"
      ],
      "bundles": {
        "logax": "controller/LogAxController.js",
        "logaxSolution": "controller/LogAxSolutionController.js"
      }
    },
    "LOGIND": {
      "code": "logind",
      "source": "test.logind",
      "url": "logind.html?exerciseType=LOGIND",
      "exampleExercises": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9],
      "randomExercises": false,
      "inputOwnExercise": false,
      "displayHintButton": true,
      "displayNextStepButton": true,
      "displayDerivationButton": true,
      "rules": [
        "logic.propositional.logind.baseCase",
        "logic.propositional.logind.hypothesis",
        "logic.propositional.logind.inductiveStep"
      ],
      "bundles": {
        "logind": "controller/LogIndController.js",
        "logindSolution": "controller/LogIndSolutionController.js"
      }
    },
    "HELPLOGEX": {
      "code": "helpLogex",
      "url": "helpLogEx.html",
      "bundles": {
        "help": "controller/BaseController.js"
      }
    },
    "HELPLOGAX": {
      "code": "helpLogax",
      "url": "helpLogAx.html",
      "bundles": {
        "help": "controller/BaseController.js"
      }
    },
    "HELPLOGIND": {
      "code": "helpLogInd",
      "url": "helpLogInd.html",
      "bundles": {
        "help": "controller/BaseController.js"
      }
    },
    "WELCOME": {
      "hidden": true,
      "code": "welcome",
      "url": "welcome.html",
      "bundles": {
        "welcome": "controller/BaseController.js"
      }
    }
  },
  "backend_url": "https://ideas.science.uu.nl/cgi-bin/ideas-logic.cgi"
}