Propositional Logic (Introduction to Logic)

Propositional Logic (Introduction to Logic)
About this book
CD-ROM contains: Windows-basd software to aid in learning to symbolize, construct proofs of validity, build full and brief truth tables, and create truth trees.
Details
- OL Work ID
- OL50636W
Subjects
Logic, Symbolic and mathematicalProposition (Logic)ReasoningSymbolic and mathematical LogicLogicLanguage and logicLogic, symbolic and mathematical