implicational propositional calculus

Englisch - Englisch

Definition von implicational propositional calculus im Englisch Englisch wörterbuch

A minimalist version of propositional calculus which uses only the logical connectives \to ("implies") and \bot ("false")

Silbentrennung

im·pli·ca·tion·al prop·o·si·tion·al cal·cu·lus