Propositional formula
This page lists the items of the Wikipedia article Propositional formula in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1345686870, with the assessment Start/Mid.
| Outcome | Items |
|---|---|
| deferred | 20 |
| node | 4 |
The gap signals of the article are S1,S5,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | statement | Propositional formula | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #03DO | statement | Commutative and associative laws | deferred until 2027-05-01 | the heading names more than one item | |
| #0M4K | statement | Truth-value assignments, formula evaluations | deferred until 2027-05-01 | the item has the flag citation-needed (WP9.2) | |
| #192D | statement | Create the formula's Karnaugh map | deferred until 2027-05-01 | the heading names a step or a part of the text and not one item | |
| #21T6 | statement | Usefulness of propositional formulas | deferred until 2027-05-01 | the heading names a group of items | |
| #2AGE | statement | Relationship between propositional and predicate formulas | deferred until 2027-05-01 | the heading names a part of the text and not one item | |
| #3MKY | statement | De Morgan's laws | deferred until 2027-05-01 | the item has its own article, page 64669 | |
| #3VDS | example | Example of parenthesis counting | deferred until 2027-05-01 | the heading names a step or a part of the text and not one item | |
| #59JZ | statement | IDENTITY and evaluation | deferred until 2027-05-01 | the heading names more than one item | |
| #65PB | statement | An algebra of propositions, the propositional calculus | deferred until 2027-05-01 | the item has the flag citation-needed (WP9.2) | |
| #8WLV | statement | Impredicative propositions | deferred until 2027-05-01 | the heading names a group of items | |
| #9LZG | statement | Well-formed formulas (wffs) | node (adopted) | Well-formed formulas (wffs) | |
| #AWI7 | statement | Distributive laws | node (adopted) | Distributive laws | |
| #BHX9 | statement | Propositions | deferred until 2027-05-01 | the heading is one word, so it names a part of the text and not one item | |
| #CN38 | statement | Produce the formula's truth table | deferred until 2027-05-01 | the heading names a step or a part of the text and not one item | |
| #EDLP | statement | Axiom and definition schemas | deferred until 2027-05-01 | the heading names more than one item | |
| #H5FH | statement | Propositional formula with "feedback" | node (adopted) | Propositional formula with "feedback" | |
| #O806 | definition | Definitions | deferred until 2027-05-01 | the cue heading names a section and not one item | |
| #PVNI | statement | Well-formed formulas versus valid formulas in inferences | node (adopted) | Well-formed formulas versus valid formulas in inferences | |
| #SH2Q | statement | Laws of absorption | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #TGLO | statement | More complex formulas | deferred until 2027-05-01 | the heading names a group of items | |
| #TJCV | statement | Identity | deferred until 2027-05-01 | the heading is one word, so it names a part of the text and not one item | |
| #UI5P | statement | Parsing formulas | deferred until 2027-05-01 | the heading names a step or a part of the text and not one item | |
| #VFQ4 | statement | Laws of evaluation: Identity, nullity, and complement | deferred until 2027-05-01 | the heading names more than one item |
Refer to Wikipedia articles and their nodes for the other articles.