# forallx

the Mississippi State edition

*forallx: the Mississippi State edition* is an open source logic textbook. It covers propositional logic, and it can be freely used or modified. The textbook is avaialbe as a PDF.
Or a paperback copy can be purchased from this site.
The source files are available in this GitHub repository.

Further explanation of this textbook is here. A description of the logic system for this textbook that can be used in Carnap.io is here.

This is the schedule that I use when teaching with the textbook.

Weeks 1 & 2 Â Â Â Â |
forallx, chapters 1 & 2: introduction to arguments |

Week 3 & 4 |
forallx, chapters 3 - 6: introduction to truth functional logic |

Â | Test 1 |

Weeks 5 - 8 |
forallx, chapters 8 - 11: truth tables |

Â | Test 2 |

Weeks 9 - 13 |
forallx, chapters 13 - 16: proofs |

Week 14 |
forallx, chapter 17: theorems |

Week 15 |
forallx, chapter 18: soundness and completeness |

Exam week |
Test 3 |

Here is the syllabus.

Here is a more detailed calendar (for an online course).