연역(Deduction)

규칙: 이 주머니 안에 있는 모든 콩은 하얗다.

사례: 이 콩은 이 주머니에서 나온 것이다.

결과: 이 콩은 하얗다.


귀납(Induction)

사례: 이 콩은 이 주머니에서 나온 것이다.

결과: 이 콩은 하얗다.

규칙: 이 주머니 안에 있는 모든 콩은 하얗다.


가설(Hypothesis)

규칙: 이 주머니 안에 있는 모든 콩은 하얗다.

결과: 이 콩은 하얗다.

사례: 이 콩은 이 주머니에서 나온 것이다.

---------------------------------------------------------------------------------------------

여기서 귀납을 얘기하겠음


1. 이콩은 이주머니에서 나왔다(A->B)
2. 이콩은 하얗다(A->C)
3. 이주머니안에 있는 모든콩은 하얗다(B->C)


((A->B) and (A->C) and A)->(B and C)->(B<->C)

A->B
A->C

B<->C

따라서


이 주머니안에 있는 콩<->하얀콩

이고


귀납법이 참임을 증명함

-----------------------------------------------------------------------------------------------

가추법

1.이 주머니 안에 있는 모든 콩은 하얗다.(B->C)

2.이 콩은 하얗다. (A->C)

3.이 콩은 이 주머니에서 나온 것이다.(A->B)


((B->C) and (A->C) and B and A)


(B and A)->(B<->A)

B->C

A->C

B<->A


------------------------------------------------------------------------------------------------


연역(Deduction)

1.이 주머니 안에 있는 모든 콩은 하얗다.(B->C)

2.이 콩은 이 주머니에서 나온 것이다.(A->B)

3.이 콩은 하얗다.(A->C)


B->C
A->B


A->C


-------------------------------------------------------------------------------------------------------


세 추론방식을 다사용하면


A<->B<->C 가 됨