Formal Logic

Formal Logic · Wikibooks

0%

Contents

    Text

    Size
    100%
    Theme
    Typeface
    Line length
    Spacing

    From Wikibooks, under CC BY-SA 4.0, as the source states it. This page at Wikibooks.

    Formal Logic
    A PDF version is available. (info)
    A printable version of Formal Logic is available. (edit it)

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

    Illustration
    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.

    Illustration



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


    Recent Content Additions   edit
    Preliminaries
      No recent additions.
    Sentential Logic
      No recent additions.
    Predicate Logic
      19 Apr 2006: New module: Satisfaction
      19 May 2006: New module: Truth

    Detailed Contents

    Brief Contents

    1. Preliminaries
    2. Sentential Logic
    3. Predicate Logic
    4. Identity Theory