Research any topic before you write.

Find related topics. | Discover entities. | See connections. | Build a topical map.

Propositional formula

In propositional logic, a propositional formula is a type of syntactic formula which is well formed. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula.

History, Historical development & An algebra of propositions, the propositional calculus

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Research this topic

Explore the main themes, entities and connections around Propositional formula. Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

Topics to explore

Browse the full topic structure. Each item opens a new analysis centered on that subject.

Overview

Propositions

An algebra of propositions, the propositional calculus

Propositional connectives

More complex formulas

Inductive definition

Parsing formulas

Well-formed formulas (wffs)

Reduced sets of connectives

Normal forms

Impredicative propositions

Propositional formula with "feedback"

Historical development

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

Map overview Semantic statistics

Propositional formula

Nodes137
Edges136
Triples120
Avg. degree1.99
Density0.014599
Components1

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

Propositional formula

Top relations

related to IDENTITY and evaluation · 22
Propositional formula → AND IF, Bender, Different, For, Goodstein, Hamilton, I'm, IDENTITY, IF, Leibniz's, Logical, On, One, Principia Mathematica, Robbin, Suppes, That, The, THEN, Translated
related to Well-formed formulas versus valid formulas in inferences · 21
Propositional formula → AND, Another, Being, Bertrand Russell, Convert, Example, Here, However, If, In, Is, NO, Other, Quite, Reichenbach, Saying, Some, The, THEN NOT-a, This
related to Propositional connectives · 14
Propositional formula → Arbitrary, Constant, ELSE, EQUALS, Examples, IDENTITY, If, NAND, NOR, Other, The, THEN, Thus, XORThe
related to Connectives of rhetoric, philosophy and mathematics · 9
Propositional formula → FALSITY, IF, IMPLIES, In, Some, That, The, THEN, TRUTH
related to Connective seniority (symbol rank) · 7
Propositional formula → From, However, IDENTITY, In, NOT, Thus, To
related to Oscillation · 6
Propositional formula → Analysis, If, In, NOT, Oscillation, When
related to Propositional formula with "feedback" · 6
Propositional formula → Begin, Either, In, Observe, OR, The
related to Propositional variables · 5
Propositional formula → It, Monday, Propositions, Saturday, The
related to External links · 4
Propositional formula → Media, Propositional, Wikimedia Commons, Wiktionary-logo-en-v2
related to Normal forms · 4
Propositional formula → An, Any, It, Some

Important terminology Word statistics

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

formula propositional truth one connectives variables formulas example logic connective two form table use logical calculus propositions isbn symbols notion

Entity relationships Subject–Predicate–Object triples

SubjectPredicateObjectConfidenceSrc
Propositional formulais atype of syntactic formula which is well formed0.90text
Propositional formulais apropositional variable0.90text
pinstance ofor propositional variables0.80text
qinstance ofor propositional variables0.80text
using connectives or logical operators such as NOTinstance ofor propositional variables0.80text
ANDinstance ofor propositional variables0.80text
ORinstance ofor propositional variables0.80text
or IMPLIESinstance ofor propositional variables0.80text
parenthesesinstance ofis a method by which a collection of symbols called variables together with some other symbols0.80text
the law of contradiction or laws of identityinstance ofSome formal systems specify these valuation axioms at the outset in the form of certain formulas0.80text
nullityinstance ofSome formal systems specify these valuation axioms at the outset in the form of certain formulas0.80text
commutationinstance oftogether with laws0.80text

Related concept clusters Concept neighborhoods

These clusters group vocabulary that occurs around closely connected concepts in the source material.

    Connections between topic areas Semantic bridges

    Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

    Min side: 3
    For writers, content strategists, SEOs, marketers and creators — from quick topic research to advanced semantic analysis.