84:
74:
53:
22:
409:
It would be nice to see some indication of the rationale for this operator being named for
Leibniz; what part of his work (presumably in a precursor of algebraic logic) does it encapsulate ? (c.f. my rationale for
195:
140:
396:
352:
304:
269:
231:
475:
p. 25. Of course, it would be better if all those notions are defined in the wiki article, which is currently far from doing, even for those classes that it does mention.
503:
130:
498:
106:
415:
97:
58:
414:
to tensor operators obeying
Leibniz's product rule, which I had done before hearing of the name's use in algebraic logic.)
33:
168:
357:
313:
274:
239:
21:
419:
203:
473:
39:
83:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
480:
455:
89:
73:
52:
445:
448:
437:
411:
430:
492:
476:
451:
102:
310:
This is only true if T is a complete theory. Is it possible the article means :
434:
79:
484:
459:
440:
423:
15:
370:
326:
287:
252:
429:
I can't tell for sure, but I think it is a reference to
360:
316:
277:
242:
206:
171:
101:, a collaborative effort to improve the coverage of
390:
346:
298:
263:
225:
189:
190:{\displaystyle \phi \leftrightarrow \psi \in T}
472:Someone may want to add here the diagram from
8:
391:{\displaystyle T\vdash _{\mathcal {S}}\chi }
347:{\displaystyle T\vdash _{\mathcal {S}}\chi }
299:{\displaystyle T\vdash _{\mathcal {S}}\psi }
264:{\displaystyle T\vdash _{\mathcal {S}}\phi }
19:
47:
369:
368:
359:
325:
324:
315:
286:
285:
276:
251:
250:
241:
214:
205:
170:
49:
226:{\displaystyle \phi \equiv _{T}\psi }
7:
95:This article is within the scope of
38:It is of interest to the following
14:
504:Low-priority mathematics articles
233:is equivalent to the condition
115:Knowledge:WikiProject Mathematics
499:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
385:
379:
341:
335:
175:
1:
109:and see a list of open tasks.
441:15:30, 4 January 2011 (UTC)
424:15:22, 4 January 2011 (UTC)
520:
485:05:57, 13 April 2011 (UTC)
460:08:43, 16 April 2011 (UTC)
134:
67:
46:
141:project's priority scale
98:WikiProject Mathematics
412:applying the same name
392:
348:
300:
265:
227:
191:
28:This article is rated
393:
349:
301:
266:
228:
192:
162:The article states:
358:
314:
275:
240:
204:
169:
121:mathematics articles
388:
344:
296:
261:
223:
187:
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
511:
397:
395:
394:
389:
375:
374:
373:
353:
351:
350:
345:
331:
330:
329:
305:
303:
302:
297:
292:
291:
290:
270:
268:
267:
262:
257:
256:
255:
232:
230:
229:
224:
219:
218:
196:
194:
193:
188:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
519:
518:
514:
513:
512:
510:
509:
508:
489:
488:
470:
407:
364:
356:
355:
354:if and only if
320:
312:
311:
281:
273:
272:
271:if and only if
246:
238:
237:
210:
202:
201:
167:
166:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
517:
515:
507:
506:
501:
491:
490:
469:
466:
465:
464:
463:
462:
406:
403:
401:
387:
384:
381:
378:
372:
367:
363:
343:
340:
337:
334:
328:
323:
319:
308:
307:
295:
289:
284:
280:
260:
254:
249:
245:
222:
217:
213:
209:
200:that defines
198:
197:
186:
183:
180:
177:
174:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
516:
505:
502:
500:
497:
496:
494:
487:
486:
482:
478:
474:
467:
461:
457:
453:
449:
447:
444:
443:
442:
439:
436:
432:
431:Leibniz's law
428:
427:
426:
425:
421:
417:
413:
405:Why Leibniz ?
404:
402:
399:
382:
376:
365:
361:
338:
332:
321:
317:
293:
282:
278:
258:
247:
243:
236:
235:
234:
220:
215:
211:
207:
184:
181:
178:
172:
165:
164:
163:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
471:
416:84.215.6.188
408:
400:
309:
199:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
493:Categories
477:Tijfo098
452:Tijfo098
158:Mistake?
468:Diagram
139:on the
36:scale.
481:talk
456:talk
435:Emil
420:talk
446:Yes
131:Low
495::
483:)
458:)
450:.
438:J.
433:.—
422:)
398:?
383:ψ
377:χ
366:⊢
339:ϕ
333:χ
322:⊢
294:ψ
283:⊢
259:ϕ
248:⊢
221:ψ
212:≡
208:ϕ
182:∈
179:ψ
176:↔
173:ϕ
479:(
454:(
418:(
386:]
380:[
371:S
362:T
342:]
336:[
327:S
318:T
306:.
288:S
279:T
253:S
244:T
216:T
185:T
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.