Propositional Logic | PDF Textbook
Basic Information
- Pages: 343
- Format: PDF
- Version: September 4, 2026
- Membership: Premium and Supporter members
This PDF textbook is based on the Web materials published on WIIS and has been reorganized so that propositional logic can be studied systematically as a single textbook.
It provides a systematic introduction to propositions, logical connectives, truth tables, tautologies, logical equivalences, inference, and proof, with the aim of helping readers acquire the foundations of logic studied at the university level.
Rather than emphasizing elegance, the textbook places priority on clarity and carefully explains why each idea works the way it does. It is suitable both for readers studying propositional logic for the first time and for those who wish to review the foundations of university mathematics, information science, or economics.
This textbook systematically covers the following topics:
- Propositions and logical formulas
- Logical connectives (negation, conjunction, disjunction, implication, equivalence, etc.)
- Truth tables
- Tautologies and contradictions
- Necessary conditions, sufficient conditions, and necessary and sufficient conditions
- Logical equivalences and equivalent transformations
- Rules of inference
- Methods of proof, including conditional proof, proof by contradiction, and proof by contraposition
- Review tests
Definitions, theorems, proofs, examples, and exercises are arranged in a balanced way so that readers can build their understanding step by step.
This textbook is not a one-time publication.
At WIIS, the PDF textbook is continuously updated in conjunction with improvements to the Web materials. Updates include not only corrections of typographical errors but also improvements to explanations and the addition of new examples and exercises.
Premium and Supporter members may download the latest version as many times as they wish during their membership period.
This textbook is provided exclusively to Premium and Supporter members.
Please use the downloaded PDF for your own personal study.
The copyright to this textbook belongs to WIIS. Please do not share, reproduce, redistribute, or upload the material to the Internet or otherwise provide it to third parties.
To ensure the proper operation of the service and prevent unauthorized use, WIIS records the download history of PDF textbooks, including the date and time of download, the material downloaded, and account information. If activity that violates the Terms of Use is detected, such as sharing the material with third parties or publishing it on the Internet, the relevant download history may be used for investigation.