Written by volunteers and editors at**Wikibooks,**
A Wikimedia Foundation Project

Formal Logic is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. |

An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. |

Recent Content Additions | |
---|---|

Preliminaries | |

No recent additions.
| |

Sentential Logic | |

No recent additions.
| |

Predicate Logic | |

19 Apr 2006: New module: Satisfaction | |

19 May 2006: New module: Truth |

**Brief Contents**

- Preliminaries
- Sentential Logic
- Predicate Logic
- Identity Theory