{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

LPL 2.3-2.4 lecture

# LPL 2.3-2.4 lecture - Formal proofs with identity Whereas...

This preview shows pages 1–2. Sign up to view the full content.

Formal proofs with identity Whereas informal proofs may be done in a variety of ways, depending on the level of precision demanded by the audience at which the proof is aimed, the formal proofs we will do will all follow the same format. P Q R S 1 Justification 1 : : S n Justification n S Justification n + 1 We will use a Fitch-style system which places the premises of the argument above the Fitch bar and the conclusion and all supporting steps below the Fitch bar. Notice that to the right of each supporting step, a justification must be given. The reason such justification is necessary is that a rule must be cited in order to add each new step to a proof. If each supporting step in the proof is justified by a correct usage of a rule, then we can be certain that each step, including the conclusion, is a logical consequence of the given premises. Identity Introduction (= Intro): n = n The first rule we will use is Identity Introduction . Like its informal counterpart, which

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 3

LPL 2.3-2.4 lecture - Formal proofs with identity Whereas...

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

View Full Document
Ask a homework question - tutors are online