84:
74:
53:
545:"Parentheses can be used in compound expressions to indicate the order in which the operators are to be evaluated. In the absence of parentheses, the order of evaluation is determined by precedence rules. For the logical operators defined above , the rules are that ¬ has higher precedence than ∧ , and ∧ has precedence over ∨ . This means that in the absence of parentheses, any ¬ operators are evaluated first, followed by any ∧ operators, followed by any ∨ operators."
551:"When these operators are used in expressions, in the absence of parentheses to indicate order of evaluation, we use the following precedence rules: The exclusive or operator, ⊕, has the same precedence as ∨ . The conditional operator, →, has lower precedence than ∧, ∨, ¬, and ⊕, and is therefore evaluated after them. Finally, the biconditional operator, ↔, has the lowest precedence and is therefore evaluated last."
22:
594:
arithmetic algebra, we don't have expressions such as (2 * 3 + 4) having one value (6 + 4) in one ranking (or according to one author) and another value (2 * 7) in a different ranking (or according to some other author). So one ranking must surely be "wrong", or at least highly unconventional. (Or is logic just one of those areas in which different practitioners define things differently??)
296:
treatment. I find Kleene's 1952 far better. It seems we should be able to construct a very simple induction-like method of how to construct the formulas. Even Kleene's is too complex because he's constructing an arithmetic+logic system. Kleene has some three little lemmas about parenthesis pairing and nesting etc.
541:
This section appears to contradict (significantly) the book, "Foundations Of
Computation" by Critchlow and Eck (2nd ed, 2011). Pg 3 of that book, which deals with the relative precedences (are precedences the same things as "ranks" / "seniorities" ?), states (but with my additional clarifications in
208:
One issue that the content above brings to mind is that this article is just about propositional formulas. It isn't meant to be about all of propositional logic. We can have a few sentences that link to other important concepts, like valuations. Here is a rough list of the things that I think should
593:
Jochen, thanks, they do seem more similar as reverses of each other. But they still remain different, and when did "almost the same" become good enough in maths? Use of these different rankings will lead to a given propositional formula evaluating to true for one ranking and false for the other. In
821:
Propositions from a propositional formula (simple or propositional variables or propositional constants) are denoted with small letters p,q in contrast with predicate letters P, Q, R, S, which asociated to individual constants form propositional constants which can also be present in propositional
300:
RE {T, F}. Problem is, folks other than mathematicians use propositional formulas. I advise anyone doing so (i.e. creating propositional formulas and then evaluating them) to stay away from T and F. If they are doing rhetoric, then the T & F need to come into play. Kleene also agrees, at least
295:
We had a conflict edit, so there is a lot more here now. I basically agree with what you've written. I will cut the "brainstorm" to reduce the clutter. I am evolving in the direction you are proposing. I am suffering from some confusions and frustrations: in particular I don't like
Enderton's 2002
642:, indicates this status. The (known) truth values of simple propositions as well as those of the proper propositional variables are replaced in the truth function/propositional formula giving the final truth value, similarly to numerical constants a, b being substituted in an (usual/numeric)
320:
RE the "algebra" versus the "valuation": my understanding here is the "algebra" is the substitution rules that I have been trying to "axiomatize" with the inductive definitions, plus the reduction-rules such as De Morgan etc. Plus the notions of "distributive law" and "associative law" etc.
301:
with regards to "metamathematical consistency proofs for the calculus" (1952:125). My practical/engineering experience with {T, F} has been very, very poor. In practice, many folks use "reverse logic" and make a mess of T & F. Also, you cannot "compute" with it using what I would call
202:
I'm not sure what this means: "The use of symbols { T, F } is discouraged in mathematics because of the possibility of confusion with "Truth" and "Falsity",..." The symbols T and F are usually used in mathematics, since truth and falsity is exactly what they are supposed to
411:
RE: "term". I wouldn't have a problem with just using "formula" excepting engineers and computer scientists use the notion "term" for a conjunction of variables, i.e. (p & ~q & r) is a "term". In particular
166:
here, but we should be able to give a brief overview of the properties of formulas, mention truth assignments, etc. It will take a few days, and the rough draft I have needs a lot of wikilinks to be added. — Carl
438:
etc. It's an alternate universe to mathematics. So perhaps I can define "formula" inductively and then define "term" as an alternate usage for (a & b) or (a & b & ... & z). There's also an
326:
RE: NOT, OR, AND: I recommend we use NOT, OR, AND and define IMPLY, XOR in terms of these others. My thought was to put in the big table as a summary of the definitions of the operators, and be done with
382:
879:
Some of them them group AND before OR, others the other way round. And then one example goes from "a & a → b" to "a & (a → b)" despite the ordering giving IMPLICATION a higher rank than AND.
797:
There is lot of nonsense in the sections mentioning "engineering"; you probably spotted some of them. I guess "engineering connectives" is supposed to mean terminology for logical connectives used in
248:
140:
836:
The mentioned example of a simple proposition (Five is greater than three.) includes implicitly a predicate letter G (greater than) which also has another (arithmetical) notation ": -->
531:
The section "Connective seniority (symbol rank)" appears to contradict (significantly) pgs 3 and 5 of the book, "Foundations Of
Computation" by Critchlow and Eck (2nd ed, 2011)
384:. I think sticking with that convention is fine. In any case the article will discuss how other connectives, that take arbitrary finite numbers of formulas, can be added.
782:
There is also a sentence with dubious status like "Engineers try to avoid the notions of truth and falsity that... the philosophers.". This sentence should be removed.--
737:
Simple propositions like "It rains tomorrow/in the next hours." can have a variabile truth value, not known at the present moment. Thus simple propositions can also be
391:. Nowadays that word is usually reserved for certain expression in first order logic; there are no more terms in propositional logic. Everything is a formula. — Carl
577:
To me, both rankings seem to be almost the same, except that they are presented in orders reverse to each other, (and that and/or are ranked differently). -
669:
A propositional formula, like any expression, can be used to define a function. However, this requires to fix the parameters and their order. For example,
907:
130:
902:
557:¬ (negation) ∧ (conjunction) ∨ (disjunction), ⊕ (exclusive or) (equal precedence) → (material conditional) ↔ (biconditional)
106:
838:
823:
783:
769:
742:
655:
554:
In summary, Critchlow and Eck (2nd ed, 2011) give the relative precedences of the logical operators, from highest to lowest, as follows:
186:
595:
563:
97:
58:
343:
315:
RE parsing, normal forms etc. I agree. A lot needs to be said about such things as ((A & B) & C) = (A & B & C)
498:
262:
Very brief summary style discussion of valuations, just enough to give background for the rest of the article. Link to
33:
215:
855:
Propositional logic doesn't consider relation symbols; your analysis of "Five is greater than three" would presuppose
837:". Five (5) and three (3) are individual number/numerical constants combined with the implicit predicate letter G.--
864:
806:
722:
582:
212:
Basic inductive definition of propositional formulas in the language with negation and the four binary operators
842:
827:
787:
773:
746:
659:
760:
The article mentions the so-called "engineering connectives", but without enough details. In what branches of
21:
444:
417:
599:
567:
513:
These are treated as the same in the article, but only idempotency is actually discussed. Contrast e.g.,
884:
860:
802:
718:
578:
461:
is used in certain fields. But in any case it isn't necessary to define terms in order to merely define
39:
83:
435:
305:
Boolean logic, i.e. the logic of Boole: ~a = (1-a), a & B = a * b, a V b = (1 - (1-a)*(1-b)), etc.
162:
This article was woefully short, so I am going to work on expanding it. I don't want to repeat all of
875:
Examples in section "Connective seniority (symbol rank)" contradict each other and the given ordering
651:
486:
880:
817:
Notation for propositions and propositional variables or constants in contrast to predicate letters
798:
521:
254:
163:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
643:
494:
89:
73:
52:
647:
440:
856:
618:
with arguments propositional variables or propositional constants (simple propositions).
253:
Discussion of how the definition would be extende3d to cover other connectives. Link to
615:
517:
896:
490:
472:
448:
398:
331:
281:
190:
174:
250:. This is the system most often used in math texts. Not present in current version.
340:
The most common presentation of propositional logic use the classical connectives
537:
https://en.wikipedia.org/Propositional_formula#Connective_seniority_(symbol_rank)
888:
868:
846:
831:
810:
791:
777:
761:
750:
726:
663:
603:
586:
571:
525:
502:
477:
451:
403:
286:
193:
179:
102:
79:
263:
514:
536:
468:
394:
277:
170:
431:
422:
413:
420:. There is a never-ending set of definitions in engineering such as
733:
Variable truth value of simple propositions/propositional constants
634:. The second sentence, re the the truth values of all variables
15:
741:
like p, q. They have the same notation, with small letters.--
535:
Regarding the "Connective seniority (symbol rank)" section:
185:
The development has become too unwieldy so I've moved it to
310:
RE synthesis versus analysis: both aspects need development
483:
I agree. I changed above what I had written before. Bill
548:
And then pg 5 adds more operators to the above, stating:
377:{\displaystyle \land ,\lor ,\to ,\leftrightarrow ,\lnot }
346:
218:
101:, a collaborative effort to improve the coverage of
560:Why does the article give SUCH different rankings?
376:
243:{\displaystyle \land ,\lor ,\to ,\leftrightarrow }
242:
709:), although the both use the same formula, viz.
8:
259:Discussion on parsing and unique readability
654:f(x, y) giving the final numerical value.--
620:Simple propositions/propositional constants
19:
47:
387:There are quotes above that use the word
345:
217:
515:http://www.tpub.com/neets/book13/54h.htm
49:
7:
95:This article is within the scope of
187:User:Wvbailey/Propositional formula
38:It is of interest to the following
371:
14:
908:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
903:Start-Class mathematics articles
852:Notation often varies by author.
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
365:
359:
237:
231:
1:
614:A propositional formula is a
526:02:34, 7 September 2011 (UTC)
209:be included in this article:
189:: visitors are welcome! Bill
109:and see a list of open tasks.
889:20:32, 7 December 2021 (UTC)
503:15:03, 28 October 2007 (UTC)
478:10:29, 28 October 2007 (UTC)
452:18:06, 26 October 2007 (UTC)
447:e.g. (a V b V ...V z). Bill
404:03:35, 26 October 2007 (UTC)
287:15:31, 25 October 2007 (UTC)
194:14:11, 29 October 2007 (UTC)
180:00:49, 23 October 2007 (UTC)
604:13:45, 7 October 2018 (UTC)
587:16:42, 6 October 2018 (UTC)
572:14:13, 5 October 2018 (UTC)
924:
626:from the point of view of
509:Absorption vs. Idempotency
457:We can certainly say that
416:are used in the notion of
269:Discussion of normal forms
869:15:40, 15 June 2021 (UTC)
847:00:20, 14 June 2021 (UTC)
832:00:12, 14 June 2021 (UTC)
811:15:36, 15 June 2021 (UTC)
792:00:41, 14 June 2021 (UTC)
778:21:26, 13 June 2021 (UTC)
751:21:18, 13 June 2021 (UTC)
727:09:31, 15 June 2021 (UTC)
664:20:53, 13 June 2021 (UTC)
134:
67:
46:
141:project's priority scale
766:engineering connectives
756:Engineering connectives
739:propositional variables
632:propositional variables
445:conjunctive normal form
418:disjunctive normal form
98:WikiProject Mathematics
378:
244:
28:This article is rated
379:
245:
689:) is different from
344:
216:
121:mathematics articles
799:digital electronics
638:and determining an
255:Logical connectives
164:propositional logic
644:algebraic function
640:unique truth value
542:square brackets):
374:
240:
90:Mathematics portal
34:content assessment
636:being given/known
505:
489:comment added by
476:
402:
285:
178:
155:
154:
151:
150:
147:
146:
915:
861:Jochen Burghardt
803:Jochen Burghardt
764:are they called
719:Jochen Burghardt
579:Jochen Burghardt
484:
466:
436:prime implicants
392:
383:
381:
380:
375:
275:
249:
247:
246:
241:
168:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
923:
922:
918:
917:
916:
914:
913:
912:
893:
892:
877:
857:predicate logic
839:178.138.195.100
824:178.138.195.100
819:
784:178.138.195.100
770:178.138.193.100
758:
743:178.138.195.100
735:
656:178.138.193.100
612:
558:
533:
511:
342:
341:
214:
213:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
921:
919:
911:
910:
905:
895:
894:
876:
873:
872:
871:
853:
818:
815:
814:
813:
757:
754:
734:
731:
730:
729:
616:truth function
611:
610:Truth function
608:
607:
606:
590:
589:
556:
532:
529:
510:
507:
481:
480:
409:
408:
407:
406:
385:
373:
370:
367:
364:
361:
358:
355:
352:
349:
329:
328:
323:
322:
317:
316:
312:
311:
307:
306:
290:
289:
272:
271:
270:
267:
260:
257:
251:
239:
236:
233:
230:
227:
224:
221:
205:
204:
183:
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:
920:
909:
906:
904:
901:
900:
898:
891:
890:
886:
882:
874:
870:
866:
862:
858:
854:
851:
850:
849:
848:
844:
840:
834:
833:
829:
825:
816:
812:
808:
804:
800:
796:
795:
794:
793:
789:
785:
780:
779:
775:
771:
767:
763:
755:
753:
752:
748:
744:
740:
732:
728:
724:
720:
716:
712:
708:
704:
700:
696:
692:
688:
684:
680:
676:
672:
668:
667:
666:
665:
661:
657:
653:
649:
645:
641:
637:
633:
629:
625:
621:
617:
609:
605:
601:
597:
592:
591:
588:
584:
580:
576:
575:
574:
573:
569:
565:
561:
555:
552:
549:
546:
543:
539:
538:
530:
528:
527:
523:
519:
516:
508:
506:
504:
500:
496:
492:
488:
479:
474:
470:
464:
460:
456:
455:
454:
453:
450:
446:
442:
437:
433:
429:
425:
424:
419:
415:
405:
400:
396:
390:
386:
368:
362:
356:
353:
350:
347:
339:
338:
337:
336:
335:
333:
325:
324:
319:
318:
314:
313:
309:
308:
304:
299:
298:
297:
293:
288:
283:
279:
273:
268:
265:
261:
258:
256:
252:
234:
228:
225:
222:
219:
211:
210:
207:
206:
201:
200:
199:
196:
195:
192:
188:
182:
181:
176:
172:
165:
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:
878:
835:
820:
781:
765:
759:
738:
736:
714:
710:
706:
702:
698:
694:
690:
686:
682:
678:
674:
670:
639:
635:
631:
628:truth values
627:
623:
619:
613:
562:
559:
553:
550:
547:
544:
540:
534:
512:
482:
462:
458:
427:
421:
410:
388:
330:
302:
294:
291:
197:
184:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
822:formulae.--
762:engineering
624:same status
596:86.175.18.7
564:86.175.18.7
485:—Preceding
465:s. — Carl
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
897:Categories
652:expression
203:represent.
622:have the
264:tautology
158:Expansion
881:Manny123
518:Cerberus
499:contribs
491:Wvbailey
487:unsigned
449:Wvbailey
443:used in
428:variable
414:minterms
332:Wvbailey
191:Wvbailey
648:formula
630:as the
463:formula
432:inverse
430:or its
423:literal
274:— Carl
139:on the
441:alterm
36:scale.
701:) = (
681:) = (
334:Bill
885:talk
865:talk
859:. -
843:talk
828:talk
807:talk
801:. -
788:talk
774:talk
747:talk
723:talk
717:. -
660:talk
600:talk
583:talk
568:talk
522:talk
495:talk
473:talk
459:term
426:for
399:talk
389:term
303:true
292:---
282:talk
198:---
175:talk
768:?--
713:∧ ¬
705:∧ ¬
685:∧ ¬
469:CBM
395:CBM
327:it.
278:CBM
171:CBM
131:Mid
899::
887:)
867:)
845:)
830:)
809:)
790:)
776:)
749:)
725:)
662:)
602:)
585:)
570:)
524:)
501:)
497:•
471:·
434:,
397:·
372:¬
366:↔
360:→
354:∨
348:∧
280:·
238:↔
232:→
226:∨
220:∧
173:·
883:(
863:(
841:(
826:(
805:(
786:(
772:(
745:(
721:(
715:y
711:x
707:y
703:x
699:x
697:,
695:y
693:(
691:f
687:y
683:x
679:y
677:,
675:x
673:(
671:f
658:(
650:/
646:/
598:(
581:(
566:(
520:(
493:(
475:)
467:(
401:)
393:(
369:,
363:,
357:,
351:,
321:.
284:)
276:(
266:.
235:,
229:,
223:,
177:)
169:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.