Truth-table method
Truth-table method
See logic, formal, 1, and propositional calculus, many-valued.
C. S. Peirce,
On the algebra of logic, American Journal of Mathematics, vol. 7 (1885), pp. 180-202; reprinted in his Collected Papers, vol. 3.
J. Lukasiewicz,
Logika dwuwartosciowa, Przeglad Filozoficzny. vol. 23 (1921), pp. 189-205.
L. L. Post,
Introduction to a general theory of elementary propositions, American Journal of Mathematics, vol. 43 (1921), pp. 163-185.