Lecture10_Handout

Lecture10_Handout - . . Q Q x u does not appear in Q...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Predicate Logic Summary of Additional Inference Rules for Natural Deduction Generalization: I x g . . . P [ x g /x ] x P Instantiation: E x P P [ t/x ] Generalization: I P [ t/x ] x P Instantiation: E x P x u P [ x u /x ] assumption .
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: . . Q Q x u does not appear in Q Reexivity: = I t = t Substitution: = E t 1 = t 2 P [ t 2 /x ] P [ t 1 /x ] t 1 = t 2 P [ t 1 /x ] P [ t 2 /x ] t 1 and t 2 are free for x in P...
View Full Document

Ask a homework question - tutors are online