95:
85:
64:
31:
174:
22:
485:
The reason why the brackets rule does not work is because of notational peculiarities. Associativity is not about brackets, associativity is about successive applications of an operator, which is different. And the successive applications of the implies operator yield same result independent of the
222:"This demonstrates the fact that p ⇒ q {\displaystyle p\Rightarrow q} p\Rightarrow q is logically equivalent to ¬ p ∨ q {\displaystyle \lnot p\lor q} {\displaystyle \lnot p\lor q}." Then, logically, isn't one of these functions redundant and therefore completely unnecessary?
425:
If you mean De Morgan duality, yes, that is right. You get the De Morgan dual by negating each operand and also the operator: for a constant that is just negating the constant. Glancing over the article didn't reveal what part in particular you are interested in. —
631:
660:
556:
investigation of truth tables in both classical and nonclassical logics, based on a strict "left-right reading" that does not require each formula to have a truth value in the set {T,F}. See also
229:
151:
712:
717:
702:
544:
I'd like to have some text in the article about truth tables outside of classical logics. My first attempt ("they mostly can't be used there") was reverted by
35:
707:
727:
141:
722:
697:
548:
with a link to Sylvan.1992 which turned out to be based on
Tennant.1989, a more elaborate paper. For a second attempt, I'd suggest a text like
117:
692:
525:
499:
233:
466:
255:
108:
69:
482:
Implies *is* associative. 𝑝→(𝑞→𝑟) should not be read as "p implies that q implies p, but "p implies q which implies r"
44:
569:
However, I'm not sure I understood the papers correctly, so I'd like to have some advice from a proof theory expert.
605:
190:
596:; the latter conclusion can be drawn (from an ordinary 4-row table as shown on p.463) only if the truth value of
553:
202:
21:
529:
518:
Better naming would be ‘number of truth tables’ (for given n; the size of a truth table for n bits is 2^n)
503:
300:
288:
601:
463:
329:
312:
252:
50:
94:
521:
495:
349:
339:
225:
545:
354:
344:
334:
324:
459:' in the Adj row for 'Truth table for all binary logical operators' ? Adjoint is a dab listing. --
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
557:
208:
100:
84:
63:
561:
359:
460:
433:
249:
204:
173:
686:
278:
490:
317:
427:
283:
113:
90:
305:
293:
456:
206:
609:
533:
507:
469:
437:
258:
237:
209:
167:
15:
632:"On Interpreting Truth Tables and Relevant Truth Table Logic"
248:
It appears Verum ⊤ ought to be the dual of Falsum ⊥ —OK? --
661:"Truth Table Logic, with a Survey of Embeddability Results"
491:
https://en.wikipedia.org/Light%27s_associativity_test
112:, a collaborative effort to improve the coverage of
600:is assumed (to be defined and) in the set {T,F}. -
574:
truth value assignments need not be total functions
564:for examples of truth-tables in logics with : -->
713:Knowledge level-5 vital articles in Mathematics
654:
652:
625:
623:
486:order in which the operations are performed.
8:
19:
519:
493:
223:
58:
718:Start-Class vital articles in Mathematics
540:Truth tables outside of classical logics
262:
703:Knowledge vital articles in Mathematics
619:
572:As an aside, Tenant explains on p.460,
60:
581:
577:
573:
562:Four-valued logic#Logical connectives
455:deserves a sentence. Might Adj mean '
230:2601:602:780:3926:9526:680D:B40F:658F
7:
106:This article is within the scope of
580:, the disjunction truth table says
49:It is of interest to the following
708:Start-Class level-5 vital articles
668:Notre Dame Journal of Formal Logic
639:Notre Dame Journal of Formal Logic
14:
728:Mid-priority mathematics articles
578:after taking care of redundancies
576:, while on p.462, he claims that
126:Knowledge:WikiProject Mathematics
723:Start-Class mathematics articles
698:Knowledge level-5 vital articles
172:
129:Template:WikiProject Mathematics
93:
83:
62:
29:
20:
442:Thank you. I adjusted the typo.
146:This article has been rated as
1:
120:and see a list of open tasks.
744:
693:Start-Class vital articles
508:17:49, 31 March 2021 (UTC)
478:Implication is associative
451:Another question: perhaps
558:Three-valued logic#Logics
534:15:37, 27 June 2022 (UTC)
365:
238:00:10, 25 June 2019 (UTC)
145:
78:
57:
610:14:43, 22 May 2024 (UTC)
470:14:56, 4 July 2020 (UTC)
438:06:40, 3 July 2020 (UTC)
259:06:22, 3 July 2020 (UTC)
152:project's priority scale
630:Richard Sylvan (1992).
109:WikiProject Mathematics
582:if the truth value of
567:
659:Neil Tennant (1989).
550:
36:level-5 vital article
132:mathematics articles
586:is T then that of (
514:Size of truth table
101:Mathematics portal
45:content assessment
565:2 truth values.
536:
524:comment added by
510:
498:comment added by
436:
422:
421:
240:
228:comment added by
215:
214:
196:
195:
166:
165:
162:
161:
158:
157:
735:
676:
675:
665:
656:
647:
646:
636:
627:
602:Jochen Burghardt
432:
263:
210:
187:
186:
176:
168:
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
33:
32:
25:
24:
16:
743:
742:
738:
737:
736:
734:
733:
732:
683:
682:
681:
680:
679:
663:
658:
657:
650:
634:
629:
628:
621:
554:proof-theoretic
552:Tenant gives a
542:
516:
480:
429:Charles Stewart
246:
220:
211:
205:
181:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
30:
12:
11:
5:
741:
739:
731:
730:
725:
720:
715:
710:
705:
700:
695:
685:
684:
678:
677:
648:
618:
617:
613:
546:David Eppstein
541:
538:
515:
512:
479:
476:
475:
474:
473:
472:
446:
445:
444:
443:
420:
419:
416:
413:
410:
407:
404:
401:
398:
395:
393:
390:
387:
384:
381:
378:
375:
372:
369:
367:
363:
362:
357:
352:
347:
342:
337:
332:
327:
322:
320:
315:
310:
303:
298:
291:
286:
281:
276:
274:
269:
245:
242:
219:
216:
213:
212:
207:
203:
201:
198:
197:
194:
193:
183:
182:
177:
171:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
740:
729:
726:
724:
721:
719:
716:
714:
711:
709:
706:
704:
701:
699:
696:
694:
691:
690:
688:
674:(3): 459–484.
673:
669:
662:
655:
653:
649:
645:(2): 207–215.
644:
640:
633:
626:
624:
620:
616:
612:
611:
607:
603:
599:
595:
593:
589:
585:
579:
575:
570:
566:
563:
559:
555:
549:
547:
539:
537:
535:
531:
527:
526:178.83.38.187
523:
513:
511:
509:
505:
501:
497:
492:
487:
483:
477:
471:
468:
465:
462:
458:
454:
450:
449:
448:
447:
441:
440:
439:
435:
431:
430:
424:
423:
417:
414:
411:
408:
405:
402:
399:
396:
394:
391:
388:
385:
382:
379:
376:
373:
370:
368:
364:
361:
358:
356:
353:
351:
348:
346:
343:
341:
338:
336:
333:
331:
328:
326:
323:
321:
319:
316:
314:
311:
309:
308:
304:
302:
299:
297:
296:
292:
290:
287:
285:
282:
280:
277:
275:
273:
270:
268:
265:
264:
261:
260:
257:
254:
251:
243:
241:
239:
235:
231:
227:
217:
200:
199:
192:
189:
188:
185:
184:
180:
175:
170:
169:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
671:
667:
642:
638:
614:
597:
591:
587:
583:
571:
568:
551:
543:
520:— Preceding
517:
500:94.26.72.172
494:— Preceding
488:
484:
481:
452:
428:
306:
294:
271:
266:
247:
224:— Preceding
221:
218:Applications
178:
148:Mid-priority
147:
107:
73:Mid‑priority
51:WikiProjects
34:
489:Read about
467:| contribs)
461:Ancheta Wis
256:| contribs)
250:Ancheta Wis
123:Mathematics
114:mathematics
70:Mathematics
41:Start-class
687:Categories
615:References
244:Dual typo
191:Archive 1
39:is rated
522:unsigned
496:unsigned
226:unsigned
179:Archives
457:adjoint
150:on the
594:) is T
434:(talk)
47:scale.
664:(PDF)
635:(PDF)
464:(talk
366:Dual
253:(talk
28:This
606:talk
560:and
530:talk
504:talk
389:XNOR
374:NAND
330:XNOR
318:NAND
234:talk
590:or
453:Adj
415:AND
400:XOR
392:NOR
325:AND
313:XOR
284:NOR
142:Mid
689::
672:30
670:.
666:.
651:^
643:33
641:.
637:.
622:^
608:)
532:)
506:)
418:F
397:OR
386:¬q
380:¬p
355:OR
307:¬q
295:¬p
236:)
604:(
598:B
592:B
588:A
584:A
528:(
502:(
412:→
409:p
406:↚
403:q
383:←
377:→
371:T
360:T
350:←
345:p
340:→
335:q
301:↛
289:↚
279:F
272:q
267:p
232:(
154:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.