Intro to Logic notes19

Intro to Logic notes19 - 19 Thursday 10:07 AM Universal...

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

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

Unformatted text preview: 19 Thursday, August 09, 2007 10:07 AM Universal Derivation 1 2 3 4 5 6 7 1 2 3 4 5 6 7 8 1 2 3 4 5 6 7 8 9 10 11 1 2 3 4 5 6 7 8 9 10 x Fx Gx Pr xFx Pr SHOW: xGx UD SHOW: Ga DD Fa Ga 1, O Fa 2, O Ga 5,6, O x Fx Gx Pr SHOW: xFx xGx CD xFx As SHOW: xGx UD SHOW: Ga DD Fa Ga 1, O Fa 3, O Ga 6,7, O Fa&Ga Pr x Fx yGy Pr x Gx Fx Pr SHOW: xFx UD SHOW: Fb DD Fa 1,&O Fa yGy 2, O yGy 6,7, O Gb 8, O Gb Fb 3, O Fb 9,10, O Raa Pr x y Rxy x yRxy Pr SHOW: x yRyx UD SHOW: yRyb UD SHOW: Rcb DD y Ray x yRxy 2, O Raa x yRxy 6, O x yRxy 1,7, O yRcy 8, O Rcb 9, O Existential Out Intro to Logic Page 1 1 2 3 4 5 6 7 1 2 3 4 5 6 7 8 9 10 1 2 3 4 5 6 7 8 9 10 11 12 13 1 2 3 4 x Fx Gx Pr xFx Pr SHOW: xGx DD Fa 2, O Fa Ga 1, O Ga 4,5, O xGx 6, I x Fx Gx Pr x Fx&Hx Pr SHOW: x Gx&Hx DD Fa&Ha 2, O Fa 4,&O Fa Ga 1, O Ga 5,6, O Ha 4,&O Ga&Ha 7,8,&I x Gx&Hx 9, I x Fx Gx Pr x Gx ~Hx Pr SHOW: ~ x Fx&Hx ID x Fx&Hx As SHOW: X DD Fa&Ha 4, O Fa 6,&O Ha 6,&O Fa Ga 1, O Ga 7,9, O Ga ~Ha 2, O ~Ha 10,11, O X 8,12,XI xFx Pr xGx Pr SHOW: x Fx&Gx DD INVALID 1 2 3 4 5 6 7 x Fx yHy Pr SHOW: xFx yHy CD xFx As SHOW: yHy DD Fa 3, O Fa yHy 1, O yHy 5,6, O Intro to Logic Page 2 1 2 3 4 5 6 7 8 9 10 11 12 xFx x~Gx SHOW: x Fx ~ yGy UD SHOW: Fa ~ yGy CD Fa As SHOW: ~ yGy ID yGy AS SHOW: X DD Gb 6, O xFx 4, I x~Gx 1,9, O ~Gb 10, O X 8,11,XI Intro to Logic Page 3 ...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online