>>68
１を半分と２を１／３ほど。２の後半は前半とだいたい同じ。
どの変換規則を使ったかは自分で証明を辿って補足しな。

(1)
1 1 (A→B)→A
2 2 ¬A
3 3 A
4 2,3 ⊥
5 2,3 B
6 2 A→B
7 1,2 A
8 1,2 ⊥
9 1 ¬¬A
10 1 A
11 ((A→B)→A)→A

(2)
1 ∃x¬P(x)∨¬∃xP(x)
2 2 ∃x¬Px
3 3 ¬Pa
4 4 Pa
5 3,4 ⊥
6 3,4 Pb
7 3 Pa→Pb
8 3 ∀y(Pa→Py)
9 3 ∃x∀y(Px→Py)
10 2 ∃x∀y(Px→Py)