implicational propositional calculus

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

1. {{lb|en|logic}} A [[minimalist]] version of [[propositional calculus]] which uses only the logical connectives <math>\to</math> ("implies") and <math>\bot</math> ("false").

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.