implicational propositional calculus

Английский Язык - Английский Язык

Определение implicational propositional calculus в Английский Язык Английский Язык словарь

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

Расстановка переносов

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