Published online by Cambridge University Press: 20 January 2009
Many-valued or non-Aristotelian calculi of propositions (logics) were originally introduced by generalisation of the truth-table method. It was known by the end of the nineteenth century that ordinary “binary” formulae of the calculus of propositions, such as
could be verified directly by means of the truth-table:
although the terminology and symbolism used were different.