Logic for A.I. - Solutions

Abstract

Axiom 1 of K is the same as Axiom 1 in L, thus we have nothing to prove. Axiom 2 of K is 2(φ → ψ) → (2φ → 2ψ). We give a derivation of this formula in L: (φ → ψ) ∧ φ → ψ 2((φ → ψ) ∧ φ) → 2ψ (the rule from L) 2(φ → ψ) ∧ 2φ → 2ψ (axiom 3 of L and propositional logic) 2(φ → ψ) → (2φ → 2ψ) (propositional logic) Remain the rules of K. Modus ponens is a rule of both so there is nothing to prove. We show that L proves the Necessitation rule. That is, we have to show that if L φ, then L 2φ. The following derivation in L from assumption φ shows this: φ → φ (propositional logic) 2 → 2φ (the rule from L) 2φ (modus ponens using axiom 2 ) This completes the direction of the proof form left to right.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,462

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2010-04-09

Downloads
74 (#239,275)

6 months
6 (#693,786)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rosalie Iemhoff
Utrecht University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references