What does propositional calculus mean?

Definitions for propositional calculus
propo·si·tion·al cal·cu·lus

Here are all the possible meanings and translations of the word propositional calculus.

Princeton's WordNet

  1. propositional logic, propositional calculusnoun

    a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them


  1. propositional calculusnoun

    propositional logic.


  1. Propositional calculus

    In mathematical logic, a propositional calculus or logic is a formal system in which formulae of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulae to be derived, called theorems; which may be interpreted as true propositions. The series of formulae which is constructed within such a system is called a derivation and the last formula of the series is a theorem, whose derivation may be interpreted as a proof of the truth of the proposition represented by the theorem. Truth-functional propositional logic is a propositional logic whose interpretation limits the truth values of its propositions to two, usually true and false. Truth-functional propositional logic and systems isomorphic to it are considered to be zeroth-order logic.

Matched Categories

How to pronounce propositional calculus?

How to say propositional calculus in sign language?


  1. Chaldean Numerology

    The numerical value of propositional calculus in Chaldean Numerology is: 4

  2. Pythagorean Numerology

    The numerical value of propositional calculus in Pythagorean Numerology is: 1

Images & Illustrations of propositional calculus

  1. propositional calculus


Find a translation for the propositional calculus definition in other languages:

Select another language:

  • - Select -
  • 简体中文 (Chinese - Simplified)
  • 繁體中文 (Chinese - Traditional)
  • Español (Spanish)
  • Esperanto (Esperanto)
  • 日本語 (Japanese)
  • Português (Portuguese)
  • Deutsch (German)
  • العربية (Arabic)
  • Français (French)
  • Русский (Russian)
  • ಕನ್ನಡ (Kannada)
  • 한국어 (Korean)
  • עברית (Hebrew)
  • Gaeilge (Irish)
  • Українська (Ukrainian)
  • اردو (Urdu)
  • Magyar (Hungarian)
  • मानक हिन्दी (Hindi)
  • Indonesia (Indonesian)
  • Italiano (Italian)
  • தமிழ் (Tamil)
  • Türkçe (Turkish)
  • తెలుగు (Telugu)
  • ภาษาไทย (Thai)
  • Tiếng Việt (Vietnamese)
  • Čeština (Czech)
  • Polski (Polish)
  • Bahasa Indonesia (Indonesian)
  • Românește (Romanian)
  • Nederlands (Dutch)
  • Ελληνικά (Greek)
  • Latinum (Latin)
  • Svenska (Swedish)
  • Dansk (Danish)
  • Suomi (Finnish)
  • فارسی (Persian)
  • ייִדיש (Yiddish)
  • հայերեն (Armenian)
  • Norsk (Norwegian)
  • English (English)

Word of the Day

Would you like us to send you a FREE new word definition delivered to your inbox daily?

Please enter your email address:

Discuss these propositional calculus definitions with the community:



    Use the citation below to add this definition to your bibliography:


    "propositional calculus." Definitions.net. STANDS4 LLC, 2022. Web. 20 Jan. 2022. <https://www.definitions.net/definition/propositional+calculus>.

    Are we missing a good definition for propositional calculus? Don't keep it to yourself...

    Browse Definitions.net

    Free, no signup required:

    Add to Chrome

    Get instant definitions for any word that hits you anywhere on the web!

    Free, no signup required:

    Add to Firefox

    Get instant definitions for any word that hits you anywhere on the web!


    Are you a words master?

    malicious satisfaction
    • A. huff
    • B. knead
    • C. monish
    • D. gloat

    Nearby & related entries:

    Alternative searches for propositional calculus: