The Problem of Simplifying Truth Functions-Quine-MAA
Formulas of the propositional calculus, or the logic of truth functions, are here understood as built up, of thestatement letters p'; ''1', 'r. By the uotations of negation, conjunction, and alternation '(or disjunction), viz. 'F. Pq;"and 'p v. To any degree of iterati.on. A formula iSMlid if it comes out
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0 ratings0% found this document useful (0 votes)
453 views
The Problem of Simplifying Truth Functions-Quine-MAA
Formulas of the propositional calculus, or the logic of truth functions, are here understood as built up, of thestatement letters p'; ''1', 'r. By the uotations of negation, conjunction, and alternation '(or disjunction), viz. 'F. Pq;"and 'p v. To any degree of iterati.on. A formula iSMlid if it comes out