## Methods of Logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

TRUTH FUNCTIONS 1 Negation Conjunction and Alternation | 1 |

Truth Functions | 7 |

The Conditional | 12 |

Copyright | |

41 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract affirm alternation antecedent becomes true biconditional Cerberus clause closed schemata comes out true components compound conclusion conditional conjunction consistency construed DeMorgan's laws Diagram elementary number theory equivalence example existential quantification F are G false finished deduction follows free occurrences free variables identity implies inconsistent inference interpret Fx interpretation of Fx irreflexivity ix)Fx Jones logic Mathematical Logic mathematics means merely monadic negation nonempty universe notation objects open schemata open sentence ordinary language p v q preceding section predicate letters predicate-schema premisses purports to name q v r quantification theory quantificational schemata result schema schematic letters sense sentence letters singular terms Socrates statements step strategy subjoined substitution syllogism theory of classes thing tion truth function truth value truth-functional schemata truth-value analysis uniform quantification universal closures universal instantiation universal quantification valid schemata words x)Fx D Fy