A new symbolic representation of the basic truth-functions of the propositional calculus
Frazee, Jerome; Frazee, Jerome; <sup>a</sup> 402 Richmond Road, 96130, Susanville, California, U.S.A.
Журнал:
History and Philosophy of Logic
Дата:
1988
Аннотация:
As with mathematics, logic is easier to do if its symbols and their rules are better. In a graphic way, the logic symbols introduced in thís paper show their truth-table values, their composite truth-functions, and how to say them as either ‘or’ or ‘if … then’ propositions. Simple rules make the converse, add or remove negations, and resolve propositions.
178.2Кб