126:
341:
111:
379:
37:
232:
80:
141:
291:
321:
316:
225:
296:
275:
270:
260:
100:
85:
30:
395:
255:
241:
218:
75:
306:
60:
311:
301:
265:
95:
145:
65:
344:
110:
389:
155:
70:
55:
90:
120:
183:
will show the template collapsed, i.e. hidden apart from its title bar.
148:), it is hidden apart from its title bar; if not, it is fully visible.
15:
140:, meaning that if there is another collapsible item on the page (a
210:
214:
19:
372:
364:
360:
207:
will show the template expanded, i.e. fully visible.
284:
248:
186:
162:
357:Editors can experiment in this template's sandbox
151:To change this template's initial visibility, the
226:
31:
8:
233:
219:
211:
38:
24:
16:
135:initial visibility currently defaults to
152:
7:
146:table with the collapsible attribute
81:Propositional directed acyclic graph
14:
340:
339:
124:
109:
1:
101:Method of analytic tableaux
86:Sentential decision diagram
412:
356:
380:Subpages of this template
335:
107:
51:
76:Binary decision diagram
292:Common logical symbols
129:Template documentation
317:Transformation rules
61:Square of opposition
297:Logical connectives
276:Philosophical logic
271:Non-classical logic
261:Mathematical logic
353:
352:
302:Logical paradoxes
191:Diagrams in logic
167:Diagrams in logic
118:
117:
46:Diagrams in logic
403:
376:
368:
343:
342:
235:
228:
221:
212:
206:
205:
201:
198:
195:
192:
189:
182:
181:
177:
174:
171:
168:
165:
154:
153:|state=
138:
133:This template's
130:
128:
127:
113:
96:Sequent calculus
40:
33:
26:
17:
411:
410:
406:
405:
404:
402:
401:
400:
396:Logic templates
386:
385:
384:
383:
378:
370:
358:
355:
354:
349:
331:
285:Other templates
280:
256:Classical logic
244:
242:Logic templates
239:
203:
199:
196:
193:
190:
187:
179:
175:
172:
169:
166:
163:
142:navbox, sidebar
136:
131:
125:
123:
119:
114:
105:
66:Porphyrian tree
47:
44:
12:
11:
5:
409:
407:
399:
398:
388:
387:
369:and testcases
351:
350:
348:
347:
336:
333:
332:
330:
329:
324:
319:
314:
309:
304:
299:
294:
288:
286:
282:
281:
279:
278:
273:
268:
263:
258:
252:
250:
249:Types of logic
246:
245:
240:
238:
237:
230:
223:
215:
209:
208:
184:
122:
121:
116:
115:
108:
106:
104:
103:
98:
93:
88:
83:
78:
73:
68:
63:
58:
52:
49:
48:
45:
43:
42:
35:
28:
20:
13:
10:
9:
6:
4:
3:
2:
408:
397:
394:
393:
391:
381:
374:
366:
362:
346:
338:
337:
334:
328:
325:
323:
320:
318:
315:
313:
310:
308:
307:Logical truth
305:
303:
300:
298:
295:
293:
290:
289:
287:
283:
277:
274:
272:
269:
267:
264:
262:
259:
257:
254:
253:
251:
247:
243:
236:
231:
229:
224:
222:
217:
216:
213:
185:
161:
160:
159:
158:may be used:
157:
149:
147:
143:
139:
112:
102:
99:
97:
94:
92:
89:
87:
84:
82:
79:
77:
74:
72:
69:
67:
64:
62:
59:
57:
54:
53:
50:
41:
36:
34:
29:
27:
22:
21:
18:
345:Logic navbar
326:
322:Normal forms
150:
137:autocollapse
134:
132:
71:Karnaugh map
56:Venn diagram
23:
91:Truth table
312:Set theory
266:Metalogic
178:collapsed
156:parameter
390:Category
327:Diagrams
202:expanded
363:|
377:pages.
373:create
365:mirror
361:create
197:state
173:state
144:, or
392::
204:}}
188:{{
180:}}
164:{{
382:.
375:)
371:(
367:)
359:(
234:e
227:t
220:v
200:=
194:|
176:=
170:|
39:e
32:t
25:v
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.