Concept
Logic
Books
Journey Statusreviewing Tags
A Formal system for reasoning about truth, validity, and inference, defining syntax for propositions and rules for deriving conclusions.
A formal system for reasoning about truth, validity, and inference, defining syntax for propositions and rules for deriving conclusions.