Формулы исчисления предикатов. Аксиомы статики. Аксиомы и правила вывода исчисления предикатов. Аксиомы исчисления предикатов. Вторая аксиома статики.
Формулы аксиом. Аксиомы стереометрии и следствия из них с1 с2 с3. Исчисление высказываний. Формулы аксиом. Формулы исчисления высказываний.
Основные понятия и аксиомы стереометрии. Формулы аксиом. Теорема исчисления высказываний формула. Теоремы по аксиомам стереометрии. Сформулируйте рисунок.
Формулы аксиом. Доказать выводимость формулы в исчислении высказываний. Сформулировать аксиомы стереометрии с иллюстрациями. Теоремы теории исчисления высказываний. Сформулируйте аксиомы стереометрии и их следствия.
Правила вывода исчисления предикатов. Аксиомы исчисления высказываний. 3 аксиома статики. Первая аксиома стереометрии а1. Формулы аксиом.
