Сделать задачи по математической логики

1. Проверить по индуктивному определению, что данное выражение является формулой численности высказываний:

(((¬A)⇒B )∨((¬B )∧ C))

2. Могут ли одновременно являться теоремами в системе аксиом Новикова формулы β и ¬(α⇒β)?

3. Доказать теорему численности высказываний:

├(A⇒B )⇒(A⇒¬¬B )