HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › implicational propositional calculus
← Back to search

Meaning of implicational propositional calculus | Babel Free

Noun CEFR C1

Definitions

A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").

uncountable

CEFR level

C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.
See all C1 English words →

See also

Implications Implicative Implicatively Implicativeness implicator Implicatory

Learn this word in context

See implicational propositional calculus used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free