rules - Hardegree, Intermediate Logic; Rules of Derivation...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Hardegree, Intermediate Logic ; Rules of Derivation 1 of 8 Intermediate Logic Rules of Derivation 1. Sentential Logic . .............................................................................................................................. 2 1. Inference Rules . ................................................................................................................... 2 2. Strategic Rules . .................................................................................................................... 3 2. Classical Quantifier Logic . .............................................................................................................. 4 1. Basics . .................................................................................................................................. 4 2. Quantifier Rules. .................................................................................................................. 4 3. Classical Identity Logic. ................................................................................................................... 5 1. Simple Identity Rules – Identity is an Equivalence Relation. .............................................. 5 2. Leibniz's Law . ...................................................................................................................... 5 4. Free Description Logic. .................................................................................................................... 5 1. Introduction. ......................................................................................................................... 5 2. Constants versus Proper Nouns . .......................................................................................... 5 3. Quantifier Rules. .................................................................................................................. 6 4. Description Rules. ................................................................................................................ 6 5. Short-Cut Rules. ............................................................................................................................... 7 1. Short-Cut Rules for Quantifier Logic . ................................................................................. 7 2. Short-Cut Rules for Identity Logic. ...................................................................................... 7 3. Short-Cut Rules for Description Logic . ............................................................................... 8
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Hardegree, Intermediate Logic ; Rules of Derivation 2 of 8 1. Sentential Logic Henceforth, A , B , C , D are closed formulas. 1.
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 8

rules - Hardegree, Intermediate Logic; Rules of Derivation...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online