Ülesanne 16.

     
     ùA->ùB
    ù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,B
    B->A,B

    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