2004 | OriginalPaper | Buchkapitel
Propositions and Proofs
verfasst von : Dr. Yves Bertot, Dr. Pierre Castéran
Erschienen in: Interactive Theorem Proving and Program Development
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this chapter we introduce the reasoning techniques used in Coq, starting with a very reduced fragment of logic, minimal propositional logic, where formulas are exclusively constructed using propositional variables and implication.