Propositional logic

This page lists the items of the Wikipedia article Propositional logic 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 1369692082, with the assessment B/Top.

Outcome	Items
attached	3
deferred	3
node	1

The gap signals of the article are S1,S2,S4,S5,S6,S8,S9.

Item	Kind	Name	Outcome	Nodes	Reason
subject	topic	Propositional logic	node	Propositional logic	a node has the same Wikidata item as the row
#KO4F	proof	Syntactic proof via axioms	attached
#PHRI	proof	Proof systems	attached
#PSAV	unknown	Exportation in logic	deferred until 2027-05-01		the kind of the item is unknown
#QTYI	proof	Proof example in P2	attached
#UQ0W	unknown	Solvers for propositional logic formulas	deferred until 2027-05-01		the kind of the item is unknown
#WWFX	unknown	History of propositional calculus	deferred until 2027-05-01		the kind of the item is unknown

Refer to Wikipedia articles and their nodes for the other articles.