Inference+Rules - Inference Rules: _ Ampersand-In (&I): A B...

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

View Full Document Right Arrow Icon
Inference Rules: _______________________________________________________________________ A B B A ______ ______ A&B _______________________________________________________________________ _ A&B ______ ______ A B _______________________________________________________________________ _ Wedge-In (vI): A A ______ ________ AvB BvA _______________________________________________________________________ _ Wedge-Out (vO): AvB AvB ~A ~B _______ _________ B A _______________________________________________________________________ _ Double-Arrow-In (  I): A B A B B A B A _______ _______ A  B B  A _______________________________________________________________________ _ Double-Arrow-Out (  O) A  B A  B ________ ________ A B B A _______________________________________________________________________ _ Arrow-Out (-->O):
Background image of page 1

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

View Full DocumentRight Arrow Icon
A B A B A ~B _______
Background image of page 2
Background image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 09/15/2011 for the course PHILOSOPHY 201 taught by Professor Morgan during the Spring '08 term at Rutgers.

Page1 / 3

Inference+Rules - Inference Rules: _ Ampersand-In (&I): A B...

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