What people are saying - Write a review
We haven't found any reviews in the usual places.
A Network Diagram for the Propositional Calculus
The Stanhope Demonstrator
3 other sections not shown
Other editions - View all
A's T line algorithm applied assertion binary relation Boole Boole's Boolean algebra called cards chapter Charles Peirce class logic compartments compound statements constructed contradiction cross mark designation number device disjunctive Donald Michie electrical logic machines eliminated example expressed F line first-order predicate calculus formal logic fuzzy graph handling holon iconic identical indicate inference invented involved Jevons Jevons's logical Jevons's machine Karnaugh maps letters Logic Diagrams logic machine logical alphabet logicians Lull's method Lullian Marquand mathematics means mechanical ment middle term negation notation number of terms paper Peirce philosophers premises problems procedure programs propositional calculus propositional logic proved quantified Ramon Lull represent rotating shading shown in Figure simple solving square Stanhope structure syllogism syllogistic Symbolic Logic theorem theory tion true and false true or false truth table truth-value lines University Venn circles Venn diagrams Venn's wheels
All Book Search results »