ùA->ùB |
|
ùA->ùB,A |
B,ùA->ùB |
ùA,A=>B->ùB |
|
A=>B->ùA=>ùB |
|
->(A=>B)=>(ùA=>ùB) |
Ei ole tuletatav
|
|
A->A V B |
B->A V B |
ù(A V B)->ùA |
ù(A V B)->ùB |
A=>B->ùA=>ùB |
|
->(A=>B)=>(ùA=>ùB) |
On tuletatav
"x(A(x)=>B(x)),A(a),B(a)->B(a),$xB(x) | |
"x(A(x)=>B(x)),A(a),->A(a),$xB(x) |
"x(A(x)=>B(x)),A(a),B(a)->$xB(x) |
"x(A(x)=>B(x)),A(a)=>B(a),A(a)->$xB(x) |
|
"x(A(x)=>B(x)),A(a)->$xB(x) |
|
"x(A(x)=>B(x)),$xA(x)->$xB(x) |
|
"x(A(x)=>B(x))->$xA(x)=>$xB(x) |
|
->"x(A(x)=>B(x))=>($xA(x)=>$xB(x)) |
On tuletatav