Christian

[알림판목록 I] [알림판목록 II] [글목록][이 전][다 음]
[ Christian ] in KIDS
글 쓴 이(By): parsec ( 먼 소 류 )
날 짜 (Date): 2001년 12월  7일 금요일 오전 11시 34분 14초
제 목(Title): Re: Definitions


> Yes. and I showed you and you agree that C can be induced from A with B.
> So what do you want?


But you did not show that C can be induced from 'If A then C'.
Do I have to show you a truth table?

A C p:'A -> C'
       ===     ===     ============
        T       T     T
        T       F           F
        F T     T
F F     T

For the cases that p is true, C can be  true or false. so C is not a
conclusion from p. You also see that A is not equal to 'If A then C'


             ◇    ~~~_ _
            ∴      ~|~| |     _/__,         SEP. 11. 2001
         _ ∴∴ _    ~ | |      \ `         Armorica under a tat
      ,-| `,-,_| |__ | | |   A
______|_|__|_|___|__|| | |__|_|_____________________________________
[알림판목록 I] [알림판목록 II] [글 목록][이 전][다 음]
키 즈 는 열 린 사 람 들 의 모 임 입 니 다.