‭ 2)‬

5 ‭-1 p ^ [ q → (p → s)]‬
‭-2 p → q ^ r ├ p → s‬

‭ 2)‬
5 ‭-1 p → q‬
‭-2 q v r → s‬
‭-3 s → (t → m)‬
‭-4 p ^ ¬ ¬ t ├ m‬

‭ 2)‬
5 ‭-1 p → [ q → r ^ (s v t)]‬
‭-2 p ^ (s → m)‬
‭-3 q ^ ( t → h ^ n) ├ m v h‬

‭ 2)‬
5 ‭-1 ( p ^ q) → (r ^ s)‬
‭-2 s → (q ^ t)‬
‭-3 s ^ t ├ p → (q ^ r)‬

‭ 2)‬
5 ‭-1 q → s‬
‭-2 r → s ^ t ├ p → ( q v r → s)‬

‭52)‬ ‭-1 ¬ p → q‬
‭-2 ¬ p → ¬ q ^ s ├ p‬

‭ 2)‬
5 ‭-1 p v ( q ^ r)‬
‭-2 t v q → ¬ (p → t) ├ ¬ (p → t)‬

‭52)‬ ‭├ (p → q) → [(q → r) → (p → r)]‬

‭ 2)‬
5 ‭-1 p ^ q → ( r → s)‬
‭-2 ¬ s ^ r ├ p → ¬ q‬

‭ 2)‬
5 ‭-1 p → q v r‬
‭-2 q → r‬
‭-3 r → s ├ p → s‬

‭ 2)‬
5 ‭-1 p → ¬ t ^ s‬
‭-2 s v r → t ├ ¬ p‬

‭52)‬ ‭-1 ├ ¬ q → ¬ ( p ^ q)‬

‭52)‬ ‭–1 t → p v q‬
‭-2 p → m ^ s‬
‭-3 q → ¬ m‬
‭-4 s v ¬ m → ¬ (p v q) ├ ¬ t‬

‭ 2)‬
5 ‭-1 t → p v q‬
‭-2 p → n ^ s‬
‭-3 q → ¬ n ├ t → s v ¬ n‬

‭52)‬ ‭-1 ├ (p ^ q) v (r ^ s) → [ (p v r) ^ (p v s)] ^ [ ( q v r) ^ (q v s)]‬

‭52)‬ ‭-1 p → m v t‬
‭-2 m → r‬
‭-3 t → r ^ s‬
-‭ 4 q → t ^ r ├ p v q → r‬

‭ 2)‬
5 ‭–1 p → q‬
‭-2 m → r v s‬
‭-3 r → ¬ q‬
‭-4 s → ¬ q ^ t ├ ¬ (p ^ m)‬

‭52)‬ ‭├ ( p → q) ^ ( q → r) → ( p → r)‬

‭52)‬ ‭├ (p → q) → (p ^ r → q ^ r)‬

‭ 2)‬
5 ‭–1 p v ¬ q → r v m‬
‭-2 (r → t v s) ^ ( n → s)‬
‭-2 m ^ ¬ r → n ├ ¬ p → [¬ (q v r) → s v t]‬

‭52)‬ ‭├ (p → q) → [ (p → r) → (p → q ^ r)]‬

‭52)‬ ‭–1 p → q ^ r‬
‭-2 ¬ p → ¬ s‬
‭-3 ¬ s → r ├ r‬

‭ 2)‬
5 ‭–1 (p ^ q → t) ^ ¬ ( t v n)‬
‭-2 r v s → t ^ m ├ p → ( q v r → s)‬

‭52)‬ ‭├ (p → r) → [ (q → r) → ( p v q → r)]‬

‭ 2)‬
5 ‭–1 (p → s) ^ (q → t)‬
‭-2 ( s v t → m) ^ (r v n → ¬ m) ├ p v q → ¬ r‬