간단한거 증명점여

[ㅌㅋㅊ(110.10)]

-A -> -B, A->C, B v D, D-> E ㅏ E v C

[ASD(110.10)]

새글로ㅗ 올려주셔도댐

[나자신(meinung)]

-가 ~라고 치고, 일단 B 혹은 D이므로 세가지 경우가 있을 수 있음. (1) B와 D가 동시에 참 (2) D가 참이고 B가 거짓 (3) D가 거짓이고 B가 참

[나자신(meinung)]

경우 (1)과 (2)에서는 D가 참이고, D라면 E이므로, E 혹은 C가 필연적인 결과에 해당함.

[나자신(meinung)]

경우 (3)에서는 B가 참이고, A가 아니라면 B가 아니다는 곧 B라면 A이다이고, B이므로 A이고, A라면 C이며 A이기 때문에 C이고, 따라서 E 혹은 C가 필연적인 결과에 해당함.

[나자신(meinung)]

따라서 E 혹은 C라는 명제는 전제들로부터 도출 가능한 것 같습니다...