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

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

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

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

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

3 года назад
mrwinsons
23 года
4 года в сервисе
Был
3 года назад

Заявки фрилансеров

Нет заявок фрилансеров