Propositional Calculus

Definition: Propositional Calculus

Propositional Calculus

Noun

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

Domain	Definition
Computing	Propositional calculus A system of symbolic logic. [More detail?]. Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Synonym: Propositional Calculus

Synonym: propositional logic (n). (additional references)

Domain	Title
Books	Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems (reference) Mathematical Logic: A Course With Exercises: Propositional Calculus, Bookean Algebras, Predicate Calculus (reference) (more book examples)
Source: compiled by the editor from various references; see credits.

The following statistics estimate the number of searches per day across the major English-language search engines as identified by various trade publications. Hyperlinks lead to commercial use of the expression at Amazon.com.

Language		Translations for "propositional calculus"; alternative meanings/domain in parentheses.
Danish		udsagnslogik (propositional logic), udsagnskalkyle (propositional logic). (various references)

Dutch		propositielogica (propositional logic), uitspraakrekening (propositional logic). (various references)

Finnish		propositiolaskenta (propositional logic), väittämälogiikka (propositional logic). (various references)

French		LP (propositional logic), logique propositionnelle (propositional logic), logique de proposition (propositional logic), calcul propositionnel (propositional logic), calcul des propositions (propositional logic). (various references)

German		propositionale Logik (propositional logic), Aussagenlogik (propositional logic). (various references)

Greek		προτασιακός λογισμός (propositional logic), προτασιακή λογική (propositional logic). (various references)

Italian		logica proposizionale (propositional logic). (various references)

Pig Latin		opositionalpray alculuscay

Portuguese		lógica proposicional (propositional logic), cálculo proposicional (propositional logic). (various references)

Spanish		lógica proposicional (propositional logic), lógica de proposiciones (propositional logic), cálculo proposicional (propositional logic), cálculo de proposiciones (propositional logic). (various references)

Swedish		satslogik (propositional logic), satskalkyl (propositional logic). (various references)
Source: compiled by the editor from various translation references.

Propositional Calculus

Definition: Propositional Calculus

Propositional Calculus

Noun

Specialty Definition: Propositional Calculus

Computing

Synonym: Propositional Calculus

Commercial Usage: Propositional Calculus

Books

Frequency of Internet Keywords: Propositional Calculus

propositional calculus

Modern Translation: Propositional Calculus

Danish

Dutch

Finnish

French

German

Greek

Italian

Pig Latin

Portuguese

Spanish

Swedish

INDEX

Expression	Frequency per Day
propositional calculus	7
Source: compiled by the editor from various references; see credits.