{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# lect22 - INTRO LOGIC DAY 22 Derivations in PL 2 1 Overview...

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

1 1 INTRO LOGIC DAY 22 Derivations in PL 2 2 Overview Exam 1 Sentential Logic Translations (+) Exam 2 Sentential Logic Derivations Exam 3 Predicate Logic Translations Exam 4 Predicate Logic Derivations 6 derivations @ 15 point s+ 1 0 f r e e p o i n t s Exam 5 very similar to Exam 3 Exam 6 very similar to Exam 4 9 9 9 + + + Exams 5 and 6 are scheduled for Thursday Dec 15 8:00 a.m. Mahar Auditorium

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

View Full Document
2 3 Rule Sheet available on course web page (textbook) provided on exams keep this in front of you when doing homework don’t make up your own rules Intro Logic S E N T E N T I A L L O G I C Rules of Derivation &I &O ± &O &D G G G & H G & H ± ( G & H ) ± : G & H H H ] ½ G G H G ² ±H ] Y G & H H & G ] ½ H ]] ± I ± O ± ± O ± D (ID) G G G ± H G ± H ± ( G ± H ) ± : G ± H ±G ±H ] ± ( G ± H ) G ± H H ± G ±G ] ½Æ H G ±H ]] ³ I ³ ± ³ O l D G ² H G ² H G ³ H G ³ H ± ( G ³ H ) ± : G l H H ² G H ² G ] ½ G o H G ² H H ² G ±G ³ H ] Y G ³ H H ³ G ] ½ H o G ]] o Is e e CD ² ± ² CD G ² I G ² I ± ( G ² I ) ± : G ² I G ±I ] G G & ±I : I I ±G ]] DN DN Rep ± D G ±±G G ± : ±G ] G ±±G G G : Æ ]] È I È O DD ID G Æ ± : G ± : G ±G - ] ] ±G G ] : Æ È ] G ]] PREDICATE LOGIC In the fol owing, Q is any variable; ± [ Q
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 14

lect22 - INTRO LOGIC DAY 22 Derivations in PL 2 1 Overview...

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

View Full Document
Ask a homework question - tutors are online