RulesChecklist

RulesChecklist - Checklist for Rules in Fitch Each of the...

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

View Full Document Right Arrow Icon
Checklist for Rules in Fitch Each of the rules in Fitch has a number of constraints on it. Here are a list of the constraints on the various rules. -introduction C -introduction: a , b Requirements: C must be have as its main connective: that is, it must be of the form X Y . You must cite two lines on the right. Here we’ve designated them a and b . One of the two lines a , b must be X . The other line must be Y . -elimination C -elimination: a Requirements: You must cite one line on the right. Here we’ve designated it a . Line a must have as its main connective; that is, it must be of the form X Y . C must be either X or Y . -introduction C -introduction: a Requirements: C must be have as its main connective: that is, it must be of the form X Y . You must cite one line on the right. Here we’ve designated it a . Line a must be either X or Y . -elimination C -elimination: a , b - c , d - e Requirements: You must cite one line and two subproofs on the right. Here we’ve designated the line a , and the subproofs b - c and d - e . Line
Background image of page 1

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

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/01/2012 for the course 730 201 taught by Professor Jonwinterbottom during the Fall '11 term at Rutgers.

Page1 / 4

RulesChecklist - Checklist for Rules in Fitch Each of the...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online