## Logic Primer |

### What people are saying - Write a review

### Contents

Sentential Logic | 1 |

12 A Formal Language for Sentential Logic | 3 |

13 Translation of English to Sentential Wffs | 10 |

14 Primitive Rules of Proof | 17 |

15 Sequents and Derived Rules | 28 |

16 Theorems | 35 |

Truth Tables | 39 |

22 Truth Tables for Sequents | 43 |

33 Primitive Rules of Proof | 76 |

34 Sequents Theorems and Derived Rules of Proof | 89 |

Models | 93 |

42 Finite Countermodels for Arguments with OnePlace Predicates without Identity | 99 |

43 Finite Countermodels for Arguments with ManyPlace Predicates without Identity | 102 |

44 Finite Countermodels with Identity | 107 |

45 Infinite Countermodels | 110 |

Answers to Selected Exercises | 113 |