极小命题演算

минимальная логика, минимальное исчисление высказываний

пословный:

极小	小命	命题演算
jíxiǎo минимум; минимальный	_ 1) 王命之小者。 2) 个人命运。 3) 犹性命。	_calculus of propositions, propositional calculus, sentential calculus