Натуральное счисление задачи

На представленной доске видно несколько формул и задач, которые относятся к логике высказываний и теории доказательств. Давайте решим каждую задачу, доказав их в натуральном исчислении.

Пожалуйста, уточните, если хотите решение всех заданий подряд или только определённого номера.