implicational propositional calculus
Word Rarity
Very rare
Frequency: Zipf frequency 0.00 in modern English
48
Scrabble Score
34
Letters
11
Syllables
12
Unique Chars
Meaning
noun
A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").
Uncountable